Trace number 4093336

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 58.2531 58.2657

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
MD5SUM2c7bc414eea5148dc6372ccd38f2fe74
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark33.5569
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 constraints1863
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 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-16T16:20:39+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-4093336-1466086839.wbo"]
0.00/0.01	c use --random-gen="2684489281 1557567343 769711924 3266873069 3741517708 2784931642 2582374422 76600350 1047704998 2654454286 3919352802 787929668 3931441329 824789939 3826789158 1233540928 563808564 730141126 2289552872 2985274228 4287462491 2853986129 2403936870 1911441449 3448179940 1863231947 2572672099 1357320474 3691342195 3334338421 3309015284 1045407401 2832329926 223327359 1914609840 1428896201 486886663 805166863 2851394814 4237676002 1191628545 926764286 821246513 1482639267 13467366 2189315431 1777913852 2507906225 2815088559 1448597194 2072858562 2160855815 1947555549 3069899686 1127374819 3597388981 818492955 1696464263 1281158098 2817764884 1205082898 40945487 3493116589 4249577470 1804507968 4051169687 854564319 597483929 22860466 43104535 4129338674 1103473105 847473219 480209476 1463621160 3676123453 1870250170 1176364397 472174371 1243093226 2764398431 410664005 3392965381 3301259286 1446406858 468466932 1791260181 1288533447 147655014 3765563088 569897915 4290629177 3993549672 214235263 1893462355 174135487 2479423852 1056906332 3010295810 2982050836 3472641670 4045317857 3354352369 1765568155 2640199736 2385201786 1362724156 2775570834 2945853906 358460160 404288348 2153322013 599152150 1746096335 1147312100 569205569 4129035583 3789276654 3862943117 627605725 2191861676 3657328054 1401423975 2659199119 4287429134 634702684 3709020129 2311098325 1766785030 2559218744 3844539883 2440903706 147434724 1627742612 1415000599 4179405683 1089593854 3300888175 876096161 3635074317 1684949682 511595780 2885253206 1960199548 540594293 2440431551 2074635611 163258892 2617341901 2177209064 2463095282 2240861994 88483235 3106082173 2120568972 3348448390 78715774 3311362769 1636359367 2572969499 3768720973 3433136737 1808800692 2172044551 1712412239 3099831747 75306430 2458774884 724107653 3324295426 98450556 2992325199 2671961238 2979777657 1095205665 1017985953 1140860012 1265785748 2142047689 793084545 2997193303 1642413957 3082847146 469636198 1768197021 1529570296 2413426017 1655365754 3714200880 2896959883 901108181 1156902059 847466528 2005511682 3902893316 2439595926 2708508938 3276959035 2168484155 522419543 3400466874 4289697942 3685004689 2810321573 1462044513 652469562 3684749645 429568522 933206205 3291397384 510735786 4183133627 1527111211 1845594852 1790967517 1406925925 1714019781 2870159941 3778619044 3536477784 2605253755 1516234372 2852851041 3041281980 893430930 4162667181 3439991212 231891857 3066828787 3550796884 516172513 2283565779 3190686347 3146880542 231455245 3796028930 2079459462 3069386068 2641832531 1463456155 271752737 2277926301 3662489734 3626512890 2057722603 409387381 2080395834 4109082710 1037516265 3112768031 3634985673 2172826315 3669467802 2641833227 2470671865 2599436761 255 362436" option to reproduce the execution
0.09/0.14	c #vars 231
0.09/0.14	c #constraints 2707
0.09/0.20	c BCD2: Hardening is enabled.
0.09/0.20	c BCD2: BiasedSearch is enabled.
0.09/0.20	c Solving starts ...
0.09/0.20	c ============================[ Search Statistics ]============================
0.09/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.20	c =============================================================================
0.09/0.20	c  0.0s |       0 |        0 |        0 |     1600      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |     1886 |        3 |     1600      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.005s
0.19/0.20	c #wall_clock_time = 0.005s
0.19/0.20	c #decision = 1886
0.19/0.20	c #random_decision = 7
0.19/0.20	c #conflict = 3
0.19/0.20	c #restart = 0
0.19/0.20	o 520
0.19/0.20	c BCD2: updating upper bound: 94063 -> 519
0.19/0.22	c BCD2: 0 <= obj <= 519
0.19/0.22	c BCD2: #cores=0, #unrelaxed=1863, #relaxed=0, #hardened=0
0.19/0.22	c BCD2: #sat=1 #unsat=1 bias=1/2
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 |     1600      0 |        0 |        0
0.19/0.25	c  0.0s |       1 |     2046 |      100 |     1761      0 |        0 |        0
0.19/0.28	c  0.1s |       2 |     4138 |      250 |     1938      0 |        0 |        0
0.29/0.34	c  0.1s |       3 |     6360 |      475 |     2132      0 |        0 |        0
0.39/0.43	c  0.2s |       4 |     8717 |      813 |     2346      0 |        0 |        0
0.59/0.65	c  0.4s |       5 |    11329 |     1320 |     2581      0 |        0 |        0
0.88/0.98	c  0.8s |       6 |    14428 |     2081 |     2840      0 |        0 |        0
1.29/1.34	c  1.1s |       7 |    18235 |     3223 |     3125      0 |        0 |        0
2.09/2.10	c  1.9s |       8 |    22835 |     4936 |     3438      1 |        0 |        0
3.29/3.34	c  3.1s |       9 |    29130 |     7506 |     3782      2 |        0 |        0
5.39/5.40	c  5.2s |       9 |    36329 |    10906 |     3782      3 |        0 |        0
5.59/5.61	c  5.4s |      10 |    37096 |    11361 |     4161      3 |        0 |        0
7.58/7.67	c  7.4s |      10 |    45282 |    14661 |     4161      4 |        0 |        0
9.58/9.61	c  9.4s |      11 |    49895 |    17144 |     4578      5 |        0 |        0
11.58/11.64	c 11.4s |      11 |    58029 |    20344 |     4578      6 |        0 |        0
13.69/13.72	c 13.5s |      11 |    62752 |    22944 |     4578      7 |        0 |        0
15.69/15.72	c 15.5s |      11 |    67343 |    25344 |     4578      8 |        0 |        0
15.89/15.95	c 15.7s |      12 |    68241 |    25819 |     5036      8 |        0 |        0
17.88/17.98	c 17.8s |      12 |    75506 |    28619 |     5036      9 |        0 |        0
20.08/20.10	c 19.9s |      12 |    79180 |    30519 |     5036      9 |        0 |        0
22.09/22.10	c 21.9s |      12 |    83675 |    32819 |     5036     10 |        0 |        0
22.78/22.82	c 22.6s |      12 |    85330 |    33627 |     5036     10 |        0 |        0
22.78/22.82	c #cpu_time = 22.539s
22.78/22.82	c #wall_clock_time = 22.599s
22.78/22.82	c #decision = 85330
22.78/22.82	c #random_decision = 60
22.78/22.82	c #conflict = 33627
22.78/22.82	c #restart = 12
22.78/22.82	c BCD2: found a new core of size 1685: cost of the new core is >=1
22.78/22.82	c lower bound updated to 1
22.78/22.82	c BCD2: 1 <= obj <= 519
22.78/22.82	c BCD2: #cores=1, #unrelaxed=178, #relaxed=1685, #hardened=0
22.78/22.82	c BCD2: #sat=1 #unsat=2 bias=2/3
22.78/22.83	c Solving starts ...
22.78/22.83	c ============================[ Search Statistics ]============================
22.78/22.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.78/22.83	c       |         |          |          |    Limit     GC | Var      | Constra 
22.78/22.83	c =============================================================================
22.78/22.83	c  0.0s |       0 |        0 |        0 |     5036      0 |        0 |        0
22.98/23.00	c  0.2s |       0 |     2124 |       20 |     5036      1 |        0 |        0
22.98/23.00	c #cpu_time = 0.166s
22.98/23.00	c #wall_clock_time = 0.166s
22.98/23.00	c #decision = 2124
22.98/23.00	c #random_decision = 7
22.98/23.00	c #conflict = 20
22.98/23.00	c #restart = 0
22.98/23.00	o 113
22.98/23.00	c BCD2: updating upper bound: 519 -> 112
22.98/23.01	c BCD2: 1 <= obj <= 112
22.98/23.01	c BCD2: #cores=1, #unrelaxed=178, #relaxed=1685, #hardened=0
22.98/23.01	c BCD2: #sat=2 #unsat=2 bias=2/4
22.98/23.02	c Solving starts ...
22.98/23.02	c ============================[ Search Statistics ]============================
22.98/23.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.98/23.02	c       |         |          |          |    Limit     GC | Var      | Constra 
22.98/23.02	c =============================================================================
22.98/23.02	c  0.0s |       0 |        0 |        0 |     5036      0 |        0 |        1
22.98/23.05	c  0.0s |       0 |      368 |        0 |     5036      0 |        0 |        1
22.98/23.05	c #cpu_time = 0.035s
22.98/23.05	c #wall_clock_time = 0.035s
22.98/23.05	c #decision = 368
22.98/23.05	c #random_decision = 0
22.98/23.05	c #conflict = 0
22.98/23.05	c #restart = 0
22.98/23.05	o 48
22.98/23.05	c BCD2: hardening fixes 986 literals
22.98/23.05	c BCD2: updating upper bound: 112 -> 47
22.98/23.06	c BCD2: 1 <= obj <= 47
22.98/23.06	c BCD2: #cores=1, #unrelaxed=72, #relaxed=805, #hardened=986
22.98/23.06	c BCD2: #sat=3 #unsat=2 bias=2/5
22.98/23.06	c Solving starts ...
22.98/23.06	c ============================[ Search Statistics ]============================
22.98/23.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.98/23.06	c       |         |          |          |    Limit     GC | Var      | Constra 
22.98/23.06	c =============================================================================
22.98/23.06	c  0.0s |       0 |        0 |        0 |     5036      0 |      986 |        2
23.09/23.15	c  0.1s |       1 |      348 |      100 |     5036      0 |      986 |        2
23.19/23.25	c  0.2s |       2 |      696 |      250 |     5036      0 |      986 |        2
23.38/23.44	c  0.4s |       3 |     1212 |      475 |     5036      0 |      986 |        2
23.58/23.69	c  0.6s |       4 |     1865 |      813 |     5036      0 |      986 |        2
23.88/23.98	c  0.9s |       5 |     2800 |     1320 |     5036      0 |      986 |        2
24.28/24.35	c  1.3s |       6 |     4357 |     2081 |     5036      0 |      986 |        2
24.98/25.02	c  2.0s |       7 |     6185 |     3223 |     5036      0 |      986 |        2
25.98/26.05	c  3.0s |       8 |     8876 |     4936 |     5540      1 |      986 |        2
26.98/27.04	c  4.0s |       8 |    11620 |     6667 |     5540      1 |      986 |        2
26.98/27.04	c #cpu_time = 3.966s
26.98/27.04	c #wall_clock_time = 3.976s
26.98/27.04	c #decision = 11620
26.98/27.04	c #random_decision = 12
26.98/27.04	c #conflict = 6667
26.98/27.04	c #restart = 8
26.98/27.04	o 19
26.98/27.06	c BCD2: hardening fixes 548 literals
26.98/27.06	c BCD2: updating upper bound: 47 -> 18
26.98/27.06	c BCD2: 1 <= obj <= 18
26.98/27.06	c BCD2: #cores=1, #unrelaxed=24, #relaxed=305, #hardened=1534
26.98/27.06	c BCD2: #sat=4 #unsat=2 bias=2/6
26.98/27.06	c Solving starts ...
26.98/27.06	c ============================[ Search Statistics ]============================
26.98/27.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.98/27.06	c       |         |          |          |    Limit     GC | Var      | Constra 
26.98/27.06	c =============================================================================
26.98/27.06	c  0.0s |       0 |        0 |        0 |     5540      0 |     1534 |        3
27.08/27.11	c  0.1s |       1 |      240 |      100 |     5540      0 |     1534 |        3
27.08/27.19	c  0.1s |       2 |      524 |      250 |     5540      0 |     1534 |        3
27.28/27.31	c  0.3s |       3 |      952 |      475 |     5540      0 |     1534 |        3
27.38/27.47	c  0.4s |       4 |     1558 |      813 |     5540      0 |     1534 |        3
27.59/27.68	c  0.6s |       5 |     2470 |     1320 |     5540      0 |     1534 |        3
27.98/28.04	c  1.0s |       6 |     3766 |     2081 |     5540      1 |     1534 |        3
28.48/28.55	c  1.5s |       7 |     5545 |     3223 |     5540      1 |     1534 |        3
29.48/29.50	c  2.5s |       8 |     7942 |     4936 |     5540      1 |     1534 |        3
30.68/30.73	c  3.7s |       9 |    11670 |     7506 |     5540      2 |     1534 |        3
32.38/32.49	c  5.4s |      10 |    17386 |    11361 |     5540      3 |     1534 |        3
34.48/34.56	c  7.5s |      10 |    23460 |    15561 |     5540      4 |     1534 |        3
35.38/35.46	c  8.4s |      11 |    25687 |    17144 |     5540      5 |     1534 |        3
37.38/37.48	c 10.4s |      11 |    30280 |    20444 |     6095      6 |     1534 |        3
39.38/39.49	c 12.4s |      11 |    34873 |    23844 |     6095      6 |     1534 |        3
40.68/40.71	c 13.7s |      12 |    37398 |    25819 |     6095      7 |     1534 |        3
42.68/42.75	c 15.7s |      12 |    42383 |    29219 |     6095      8 |     1534 |        3
44.78/44.80	c 17.8s |      12 |    47736 |    32719 |     6095      9 |     1534 |        3
45.18/45.22	c 18.2s |      12 |    49056 |    33624 |     6095      9 |     1534 |        3
45.18/45.22	c #cpu_time = 18.129s
45.18/45.22	c #wall_clock_time = 18.175s
45.18/45.22	c #decision = 49056
45.18/45.22	c #random_decision = 64
45.18/45.22	c #conflict = 33624
45.18/45.22	c #restart = 12
45.18/45.22	o 7
45.18/45.22	c BCD2: hardening fixes 231 literals
45.18/45.22	c BCD2: updating upper bound: 18 -> 6
45.18/45.22	c BCD2: 1 <= obj <= 6
45.18/45.22	c BCD2: #cores=1, #unrelaxed=6, #relaxed=92, #hardened=1765
45.18/45.22	c BCD2: #sat=5 #unsat=2 bias=2/7
45.18/45.22	c Solving starts ...
45.18/45.22	c ============================[ Search Statistics ]============================
45.18/45.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
45.18/45.22	c       |         |          |          |    Limit     GC | Var      | Constra 
45.18/45.22	c =============================================================================
45.18/45.22	c  0.0s |       0 |        0 |        0 |     6095      0 |     1765 |        4
45.18/45.29	c  0.1s |       1 |      176 |      100 |     6095      0 |     1765 |        5
45.28/45.39	c  0.2s |       2 |      474 |      250 |     6095      0 |     1765 |        5
45.38/45.48	c  0.3s |       3 |      867 |      475 |     6095      0 |     1765 |        5
45.58/45.60	c  0.4s |       4 |     1503 |      813 |     6095      0 |     1765 |        5
45.78/45.82	c  0.6s |       5 |     2327 |     1320 |     6095      0 |     1765 |        5
46.08/46.13	c  0.9s |       6 |     3674 |     2081 |     6095      0 |     1765 |        5
46.48/46.55	c  1.3s |       7 |     5651 |     3223 |     6095      1 |     1765 |        5
47.17/47.23	c  2.0s |       8 |     8527 |     4936 |     6095      1 |     1765 |        5
48.48/48.50	c  3.3s |       9 |    12255 |     7506 |     6095      2 |     1765 |        5
49.97/50.02	c  4.8s |      10 |    18988 |    11361 |     6095      3 |     1765 |        5
51.97/52.04	c  6.8s |      10 |    27298 |    16461 |     6705      4 |     1765 |        5
52.27/52.30	c  7.1s |      11 |    28484 |    17144 |     6705      4 |     1765 |        5
54.28/54.34	c  9.1s |      11 |    37839 |    22744 |     6705      5 |     1765 |        5
55.58/55.61	c 10.4s |      12 |    42607 |    25819 |     6705      6 |     1765 |        5
56.68/56.75	c 11.5s |      12 |    46954 |    28504 |     6705      7 |     1765 |        5
56.68/56.75	c #cpu_time = 11.498s
56.68/56.75	c #wall_clock_time = 11.528s
56.68/56.75	c #decision = 46954
56.68/56.75	c #random_decision = 78
56.68/56.75	c #conflict = 28504
56.68/56.75	c #restart = 12
56.68/56.75	o 2
56.68/56.75	c BCD2: hardening fixes 92 literals
56.68/56.75	c BCD2: updating upper bound: 6 -> 1
56.68/56.75	c BCD2: 1 <= obj <= 1
56.68/56.75	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=1857
56.68/56.75	c BCD2: #sat=6 #unsat=2 bias=2/8
56.68/56.75	c Solving starts ...
56.68/56.75	c ============================[ Search Statistics ]============================
56.68/56.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
56.68/56.75	c       |         |          |          |    Limit     GC | Var      | Constra 
56.68/56.75	c =============================================================================
56.68/56.75	c  0.0s |       0 |        0 |        0 |     6705      0 |     1857 |       10
56.68/56.79	c  0.0s |       1 |      201 |      100 |     6705      0 |     1857 |       10
56.78/56.84	c  0.1s |       2 |      483 |      250 |     6705      0 |     1857 |       10
56.88/56.92	c  0.2s |       3 |      885 |      475 |     6705      0 |     1857 |       10
56.98/57.02	c  0.3s |       4 |     1503 |      813 |     6705      0 |     1857 |       10
57.08/57.17	c  0.4s |       5 |     2543 |     1320 |     6705      0 |     1857 |       10
57.28/57.39	c  0.6s |       6 |     3930 |     2081 |     6705      0 |     1857 |       10
57.58/57.67	c  0.9s |       7 |     5994 |     3223 |     6705      0 |     1857 |       10
58.18/58.20	c  1.4s |       7 |     8906 |     4862 |     6705      1 |     1858 |       12
58.18/58.20	c #cpu_time = 1.439s
58.18/58.20	c #wall_clock_time = 1.443s
58.18/58.20	c #decision = 8906
58.18/58.20	c #random_decision = 32
58.18/58.20	c #conflict = 4862
58.18/58.20	c #restart = 7
58.18/58.20	c BCD2: updating lower bound of a core
58.18/58.20	c lower bound updated to 2
58.18/58.20	s OPTIMUM FOUND
58.18/58.20	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10
58.18/58.20	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
58.18/58.20	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
58.18/58.20	v -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
58.18/58.20	v -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50
58.18/58.20	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60
58.18/58.20	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70
58.18/58.20	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
58.18/58.20	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 x89 -x90
58.18/58.20	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
58.18/58.20	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
58.18/58.20	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
58.18/58.20	v -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130
58.18/58.20	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140
58.18/58.20	v -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150
58.18/58.20	v -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160
58.18/58.20	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
58.18/58.20	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180
58.18/58.20	v -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190
58.18/58.20	v -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
58.18/58.20	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
58.18/58.20	v x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
58.18/58.20	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
58.18/58.20	v x231
58.18/58.20	c total CPU time = 58.052s
58.18/58.20	c total wall clock time = 58.202s

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

pid=18588
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.01 2.06 2.01 3/178 18591
/proc/meminfo: memFree=30182692/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=622012 CPUtime=0 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 2299 0 0 0 0 0 0 0 20 0 4 0 10734045 636940288 3172 33554432000 4194304 16246674 140735827265312 140735827264736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 156015 3180 441 2943 0 152909 0
[pid=18591/tid=18592] ppid=18588 vsize=640444 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 655814656 3244 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=644540 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 660008960 3261 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=648636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10734045 664203264 3278 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.01 2.06 2.01 3/178 18591
/proc/meminfo: memFree=30182692/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 24800 0 0 0 6 3 0 0 20 0 4 0 10734045 1247350784 25665 33554432000 4194304 16246674 140735827265312 140735827264736 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 304529 25669 618 2943 0 301423 0
[pid=18591/tid=18592] ppid=18588 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1247350784 25672 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1247350784 25677 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10734045 1247350784 25684 33554432000 4194304 16246674 140735827265312 140537157901488 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.20048 s]
/proc/loadavg: 2.01 2.06 2.01 3/178 18591
/proc/meminfo: memFree=30182692/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 33420 0 0 0 15 4 0 0 20 0 4 0 10734045 1250496512 34239 33554432000 4194304 16246674 140735827265312 140735827264624 5840912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 305297 34239 894 2943 0 302191 0
[pid=18591/tid=18592] ppid=18588 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1250496512 34239 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1250496512 34239 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1250496512 34239 33554432000 4194304 16246674 140735827265312 140537157901488 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) 1221188

[startup+0.30047 s]
/proc/loadavg: 2.01 2.06 2.01 3/178 18591
/proc/meminfo: memFree=30182692/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 50897 0 0 0 22 7 0 0 20 0 4 0 10734045 1334382592 51716 33554432000 4194304 16246674 140735827265312 140735827247232 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 325777 51723 922 2943 0 322671 0
[pid=18591/tid=18592] ppid=18588 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1334382592 51732 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1334382592 51740 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1334382592 51746 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700369 s]
/proc/loadavg: 2.01 2.06 2.01 3/178 18591
/proc/meminfo: memFree=30182692/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1303108 CPUtime=0.69 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 124564 0 0 0 51 18 0 0 20 0 4 0 10734045 1334382592 125384 33554432000 4194304 16246674 140735827265312 140735827247232 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 325777 125398 922 2943 0 322671 0
[pid=18591/tid=18592] ppid=18588 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1334382592 125402 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1334382592 125406 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1334382592 125410 33554432000 4194304 16246674 140735827265312 140537157901488 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) 1303108

[startup+1.5004 s]
/proc/loadavg: 2.01 2.05 2.01 3/182 18595
/proc/meminfo: memFree=29410408/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 192793 0 0 0 122 27 0 0 20 0 4 0 10734045 1339625472 193612 33554432000 4194304 16246674 140735827265312 140735827247232 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 327057 193612 930 2943 0 323951 0
[pid=18591/tid=18592] ppid=18588 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1339625472 193612 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1339625472 193612 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1339625472 193612 33554432000 4194304 16246674 140735827265312 140537157901488 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.10038 s]
/proc/loadavg: 2.01 2.05 2.01 3/182 18595
/proc/meminfo: memFree=29408424/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 192794 0 0 0 282 27 0 0 20 0 4 0 10734045 1339625472 193613 33554432000 4194304 16246674 140735827265312 140735827247232 13001791 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 327057 193613 931 2943 0 323951 0
[pid=18591/tid=18592] ppid=18588 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1339625472 193613 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1339625472 193613 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1339625472 193613 33554432000 4194304 16246674 140735827265312 140537157901488 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.3004 s]
/proc/loadavg: 2.01 2.05 2.01 3/182 18595
/proc/meminfo: memFree=29406388/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1311300 CPUtime=6.28 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 193469 0 0 0 601 27 0 0 20 0 4 0 10734045 1342771200 194288 33554432000 4194304 16246674 140735827265312 140735827264488 6021072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 327825 194288 932 2943 0 324719 0
[pid=18591/tid=18592] ppid=18588 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1342771200 194288 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1342771200 194288 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1342771200 194288 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.01 2.05 2.01 3/182 18595
/proc/meminfo: memFree=29406048/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 193536 0 0 0 1241 28 0 0 20 0 4 0 10734045 1342771200 194355 33554432000 4194304 16246674 140735827265312 140735827264488 6020448 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 327825 194355 932 2943 0 324719 0
[pid=18591/tid=18592] ppid=18588 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1342771200 194355 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1342771200 194355 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1342771200 194355 33554432000 4194304 16246674 140735827265312 140537157901488 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.00 2.05 2.01 3/181 18596
/proc/meminfo: memFree=29102260/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 269557 0 0 0 2510 38 0 0 20 0 4 0 10734045 1344868352 270376 33554432000 4194304 16246674 140735827265312 140735827248312 5823242 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 328337 270376 942 2943 0 325231 0
[pid=18591/tid=18592] ppid=18588 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1344868352 270376 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1344868352 270376 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1344868352 270376 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.00 2.05 2.00 3/181 18596
/proc/meminfo: memFree=29102012/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1314372 CPUtime=51.07 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 269643 0 0 0 5069 38 0 0 20 0 4 0 10734045 1345916928 270462 33554432000 4194304 16246674 140735827265312 140735827248312 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 328593 270462 942 2943 0 325487 0
[pid=18591/tid=18592] ppid=18588 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1345916928 270462 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1345916928 270462 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1345916928 270462 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1314372

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

[startup+51.2005 s]
/proc/loadavg: 2.00 2.05 2.00 3/181 18596
/proc/meminfo: memFree=29102012/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1314372 CPUtime=51.17 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 269643 0 0 0 5079 38 0 0 20 0 4 0 10734045 1345916928 270462 33554432000 4194304 16246674 140735827265312 140735827248312 13820864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 328593 270462 942 2943 0 325487 0
[pid=18591/tid=18592] ppid=18588 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1345916928 270462 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1345916928 270462 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1345916928 270462 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 1314372

[startup+54.4004 s]
/proc/loadavg: 2.00 2.04 2.00 3/181 18596
/proc/meminfo: memFree=29099904/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1316420 CPUtime=54.38 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 270181 0 0 0 5399 39 0 0 20 0 4 0 10734045 1348014080 271000 33554432000 4194304 16246674 140735827265312 140735827247232 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 329105 271000 942 2943 0 325999 0
[pid=18591/tid=18592] ppid=18588 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1348014080 271000 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1348014080 271000 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1348014080 271000 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 54.38
Current children cumulated vsize (KiB) 1316420

[startup+56.0004 s]
/proc/loadavg: 2.00 2.04 2.00 4/181 18596
/proc/meminfo: memFree=29090976/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1325636 CPUtime=55.98 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 272418 0 0 0 5559 39 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140735827247232 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 331409 273237 942 2943 0 328303 0
[pid=18591/tid=18592] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 55.98
Current children cumulated vsize (KiB) 1325636

[startup+57.6004 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 18596
/proc/meminfo: memFree=29090604/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1325636 CPUtime=57.58 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 272418 0 0 0 5719 39 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140735827247232 12460562 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 331409 273237 942 2943 0 328303 0
[pid=18591/tid=18592] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 1325636

[startup+58.0004 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 18596
/proc/meminfo: memFree=29090604/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1325636 CPUtime=57.98 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 272418 0 0 0 5759 39 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140735827247232 5598711 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 331409 273237 942 2943 0 328303 0
[pid=18591/tid=18592] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 57.98
Current children cumulated vsize (KiB) 1325636

[startup+58.2004 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 18596
/proc/meminfo: memFree=29090604/32872528 swapFree=446836/479540
[pid=18591] ppid=18588 vsize=1325636 CPUtime=58.18 cores=1,3,5,7
/proc/18591/stat : 18591 (toysat) R 18588 18591 15681 0 -1 4202496 272418 0 0 0 5779 39 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140735827247232 5531892 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18591/statm: 331409 273237 942 2943 0 328303 0
[pid=18591/tid=18592] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (toysat) S 18588 18591 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537250163952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18593] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (toysat) S 18588 18591 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537168375024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18588 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (toysat) S 18588 18591 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10734045 1357451264 273237 33554432000 4194304 16246674 140735827265312 140537157901488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 58.18
Current children cumulated vsize (KiB) 1325636

Child status: 0
Real time (s): 58.2657
CPU time (s): 58.2531
CPU user time (s): 57.7952
CPU system time (s): 0.45793
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.7952
system time used= 0.45793
maximum resident set size= 1092952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272420
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= 67

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.185971 second user time and 0.237963 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 16:20:39
IDJOB=4093336
IDBENCH=78925
IDSOLVER=2553
FILE ID=node104/4093336-1466086839
RUNJOBID= node104-1466074317-17184
PBS_JOBID= 19904028
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 2c7bc414eea5148dc6372ccd38f2fe74
RANDOM SEED=331705578

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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		: 2667.035
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:        30183376 kB
Buffers:           35592 kB
Cached:           103252 kB
SwapCached:          516 kB
Active:          1445352 kB
Inactive:          65304 kB
Active(anon):    1372660 kB
Inactive(anon):     1168 kB
Active(file):      72692 kB
Inactive(file):    64136 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             16436 kB
Writeback:             0 kB
AnonPages:       1850340 kB
Mapped:            10428 kB
Shmem:                 0 kB
Slab:             567116 kB
SReclaimable:      11440 kB
SUnreclaim:       555676 kB
KernelStack:        1520 kB
PageTables:         7740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1982824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1161216 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 node104 at 2016-06-16 16:21:38