Trace number 4096295

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-02UNSAT 137.9 137.926

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-8_6_20.opb
MD5SUMba37e783d5b209458a50b4ffe081b6b7
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.82772
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables812
Total number of constraints3813
Number of constraints which are clauses3808
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint28
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 48
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T23:41:52+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4096295-1466113312.opb"]
0.00/0.01	c use --random-gen="3691726923 3128133342 1815082818 342605497 850507947 4026966244 274188093 4135239916 910165799 975082345 660784406 4171605145 3581351786 4070628392 2833664287 1032480498 529898282 3651376669 2534029703 3220578040 3294106160 3929263541 3584508191 1081248754 4047417410 3044008224 3361900377 326252292 927717723 4057598019 3774444216 3576933792 3702791121 839133825 983648466 2366906976 3957457297 2884068136 1384239273 4014461487 109815268 2232738283 3145470422 3662098470 3287977573 1005444014 4096921455 3476792353 345667191 1645560806 807967031 2735970181 463125713 2168059845 2381325586 3987726677 1888531604 1459238492 250989349 1538712021 622968593 747011864 3384822134 3914705134 259598458 908542004 2784199713 1210422609 3048418635 4244028238 4119664981 3202307497 462435436 2289870144 3891706009 2908070941 2776690113 2072893050 2947867062 2362365628 3708148600 2865533282 2764319054 2127606647 2692139650 3466711006 1108650864 2320246887 3972391329 3650827694 1829561954 2417048814 708585947 338915738 795030797 4113590083 1336006954 3344591532 1816945885 2776555218 1515943531 2727688765 1016249800 1934608317 2820577719 2457035655 312655778 1620313968 4071730257 113228939 3569095999 4228180920 2831396608 338600810 294248430 679526709 1450816303 2902055989 2420500129 3025705487 1064637415 1796664994 2179124619 3336610099 227398697 3976890873 3914523097 452938408 3795455411 598918593 3343468814 3371715528 2927083446 2164234678 1491395325 3817509240 3931463097 1786347040 2937434827 321413864 203467902 2351301402 3973504727 4044506131 61717036 2814357306 363694539 3393847144 2536662231 3929429307 605201521 2391593366 1630482313 3780856226 3688486077 3024831275 279518556 2408658088 3185694409 1034291503 4158521730 3565156832 1067208399 2490243981 1622290598 1431466054 1429802986 476388847 1388320336 3246571928 2676338561 956109966 249754028 4135348355 1553166322 248955864 3911540867 3099026965 1438904402 603747862 2147403721 3005083962 882219193 1235173560 2175529602 1891161294 294843815 1838404198 3489846294 3303032087 4218520336 1841786586 1707371313 3470263568 3643684589 357942858 2142274719 389409588 3234423319 962817713 874868184 425197568 1165062802 2524910069 2976890924 2636463159 3314621837 731007744 3386820473 3398178734 439214700 46768558 232429710 1856011789 4125996576 392843333 358075796 329670894 2401076610 1800151234 3040341037 3848281720 185791289 4224267105 2355586226 1197443786 3683200698 2746694791 3072129010 1081642663 2837908701 2771542554 3758013687 3658349059 991418316 2455908684 456278065 2723576527 3705521351 753035094 3732651182 1664423724 3840270302 2271155750 1068879454 426357758 2097352867 2052062846 4287498356 2414444726 2669173002 4096201423 3313880636 4273088209 1587372294 3065956854 255 362436" option to reproduce the execution
0.00/0.05	c #vars 812
0.00/0.05	c #constraints 3813
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     1540      0 |        5 |        0
0.09/0.15	c  0.0s |       1 |      122 |      100 |     1540      0 |        5 |      222
0.18/0.20	c  0.1s |       2 |      302 |      250 |     1695      0 |        5 |      222
0.18/0.28	c  0.2s |       3 |      565 |      475 |     1865      0 |        5 |      222
0.29/0.42	c  0.3s |       4 |      944 |      813 |     2052      0 |        5 |      222
0.29/0.62	c  0.5s |       5 |     1517 |     1320 |     2258      0 |        5 |      222
0.88/0.96	c  0.8s |       6 |     2377 |     2081 |     2733      0 |        5 |      222
1.39/1.46	c  1.3s |       7 |     3702 |     3223 |     3007      1 |        5 |      222
1.99/2.07	c  2.0s |       8 |     5702 |     4936 |     3308      2 |        5 |      222
2.88/2.96	c  2.9s |       9 |     8728 |     7506 |     3639      3 |        5 |      222
4.28/4.33	c  4.2s |      10 |    13281 |    11361 |     4003      5 |        5 |      222
6.28/6.37	c  6.3s |      10 |    18952 |    16261 |     4003      7 |        5 |      222
6.68/6.73	c  6.6s |      11 |    19965 |    17144 |     4404      8 |        5 |      222
8.68/8.76	c  8.7s |      11 |    25834 |    22344 |     4404     10 |        5 |      222
10.19/10.21	c 10.1s |      12 |    29856 |    25819 |     4845     11 |        5 |      222
12.18/12.23	c 12.1s |      12 |    35732 |    30919 |     4845     13 |        5 |      222
14.18/14.25	c 14.1s |      12 |    41639 |    35919 |     4845     15 |        5 |      222
15.48/15.54	c 15.4s |      13 |    45004 |    38832 |     5330     16 |        5 |      222
17.48/17.57	c 17.5s |      13 |    50358 |    43032 |     5330     18 |        5 |      222
19.48/19.59	c 19.5s |      13 |    55610 |    47532 |     5330     19 |        5 |      222
21.58/21.62	c 21.5s |      13 |    60430 |    51932 |     5330     21 |        5 |      222
23.58/23.63	c 23.5s |      13 |    65494 |    56232 |     5330     23 |        5 |      222
24.49/24.58	c 24.5s |      14 |    67914 |    58352 |     5864     23 |        5 |      222
26.48/26.58	c 26.5s |      14 |    73352 |    63052 |     5864     25 |        5 |      222
28.48/28.59	c 28.5s |      14 |    78662 |    67752 |     5864     26 |        5 |      222
30.48/30.60	c 30.5s |      14 |    83382 |    71852 |     5864     28 |        5 |      222
32.58/32.63	c 32.5s |      14 |    88917 |    76552 |     5864     29 |        5 |      222
34.58/34.64	c 34.5s |      14 |    94123 |    80952 |     5864     31 |        5 |      222
36.58/36.64	c 36.5s |      14 |    99910 |    85852 |     5864     32 |        5 |      222
37.38/37.42	c 37.3s |      15 |   102019 |    87632 |     6451     33 |        5 |      222
39.38/39.43	c 39.3s |      15 |   107196 |    91832 |     6451     34 |        5 |      222
41.38/41.44	c 41.3s |      15 |   111953 |    95832 |     6451     35 |        5 |      222
43.38/43.49	c 43.4s |      15 |   116644 |    99832 |     6451     36 |        5 |      222
45.48/45.52	c 45.4s |      15 |   122297 |   104732 |     6451     38 |        5 |      222
47.48/47.54	c 47.4s |      15 |   127616 |   109432 |     6451     39 |        5 |      222
49.47/49.54	c 49.4s |      15 |   133302 |   114432 |     6451     41 |        5 |      222
51.47/51.54	c 51.4s |      15 |   138666 |   119132 |     6451     42 |        5 |      222
53.47/53.56	c 53.5s |      15 |   143718 |   123732 |     6451     44 |        5 |      222
55.47/55.57	c 55.5s |      15 |   148478 |   128032 |     6451     45 |        5 |      222
56.87/56.96	c 56.9s |      16 |   152366 |   131552 |     7097     46 |        5 |      222
58.87/58.99	c 58.9s |      16 |   157824 |   136252 |     7097     47 |        5 |      222
60.97/61.01	c 60.9s |      16 |   163189 |   140952 |     7097     49 |        5 |      222
62.98/63.01	c 62.9s |      16 |   168674 |   145852 |     7097     50 |        5 |      222
64.97/65.03	c 64.9s |      16 |   174364 |   150852 |     7097     51 |        5 |      222
66.97/67.05	c 66.9s |      16 |   179609 |   155652 |     7097     53 |        5 |      222
68.98/69.08	c 69.0s |      16 |   185286 |   160252 |     7097     54 |        5 |      222
70.98/71.09	c 71.0s |      16 |   189660 |   164052 |     7097     55 |        5 |      222
73.08/73.12	c 73.0s |      16 |   194421 |   168252 |     7097     56 |        5 |      222
75.08/75.12	c 75.0s |      16 |   198981 |   172352 |     7097     57 |        5 |      222
77.08/77.15	c 77.0s |      16 |   203605 |   176352 |     7097     58 |        5 |      222
79.18/79.21	c 79.1s |      16 |   208593 |   180652 |     7097     59 |        5 |      222
81.18/81.28	c 81.2s |      16 |   213028 |   184452 |     7097     61 |        5 |      222
83.18/83.28	c 83.2s |      16 |   217512 |   188452 |     7097     62 |        5 |      222
85.28/85.30	c 85.2s |      16 |   221815 |   192252 |     7097     63 |        5 |      222
87.28/87.31	c 87.2s |      16 |   226453 |   196452 |     7807     64 |        5 |      222
87.68/87.77	c 87.7s |      17 |   227517 |   197432 |     7807     64 |        5 |      222
89.68/89.79	c 89.7s |      17 |   232526 |   201632 |     7807     65 |        5 |      222
91.78/91.83	c 91.7s |      17 |   236742 |   205232 |     7807     66 |        5 |      222
93.78/93.87	c 93.8s |      17 |   241637 |   209432 |     7807     67 |        5 |      222
95.77/95.88	c 95.8s |      17 |   246545 |   213632 |     7807     68 |        5 |      222
97.87/97.91	c 97.8s |      17 |   251468 |   217932 |     7807     69 |        5 |      222
99.87/99.93	c 99.8s |      17 |   256669 |   222232 |     7807     70 |        5 |      222
101.87/101.96	c  101s |      17 |   261652 |   226532 |     7807     71 |        5 |      222
103.97/104.01	c  103s |      17 |   266650 |   230632 |     7807     72 |        5 |      222
105.97/106.06	c  105s |      17 |   271001 |   234332 |     7807     73 |        5 |      222
107.98/108.10	c  107s |      17 |   275281 |   237932 |     7807     74 |        5 |      222
110.07/110.10	c  109s |      17 |   279612 |   241632 |     7807     75 |        5 |      222
112.07/112.16	c  112s |      17 |   284095 |   245632 |     7807     76 |        5 |      222
114.07/114.18	c  114s |      17 |   288960 |   249632 |     7807     77 |        5 |      222
116.17/116.21	c  116s |      17 |   293741 |   253732 |     7807     78 |        5 |      222
118.17/118.23	c  118s |      17 |   298278 |   257732 |     7807     79 |        5 |      222
120.18/120.26	c  120s |      17 |   302623 |   261532 |     7807     80 |        5 |      222
122.17/122.29	c  122s |      17 |   306875 |   265232 |     7807     81 |        5 |      222
124.27/124.31	c  124s |      17 |   312121 |   269932 |     7807     82 |       61 |      431
126.27/126.32	c  126s |      17 |   317342 |   274632 |     7807     83 |       61 |      431
128.27/128.35	c  128s |      17 |   322235 |   279032 |     7807     84 |       61 |      431
130.27/130.37	c  130s |      17 |   327223 |   283332 |     7807     84 |       64 |      486
132.27/132.39	c  132s |      17 |   331734 |   287332 |     7807     85 |       64 |      486
134.37/134.42	c  134s |      17 |   336561 |   291832 |     7807     86 |       69 |      545
136.16/136.25	c  136s |      18 |   341314 |   296252 |     8588     86 |       73 |      650
137.77/137.86	c  137s |      18 |   345340 |   299988 |     8588     86 |      382 |     2407
137.77/137.86	c #cpu_time = 137.385s
137.77/137.86	c #wall_clock_time = 137.751s
137.77/137.86	c #decision = 345340
137.77/137.86	c #random_decision = 1290
137.77/137.86	c #conflict = 299988
137.77/137.86	c #restart = 18
137.77/137.86	s UNSATISFIABLE
137.77/137.86	c total CPU time = 137.497s
137.77/137.86	c total wall clock time = 137.863s

Verifier Data 

ERROR: no interpretation found !

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

pid=19470
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.16 2.13 2.07 3/180 19473
/proc/meminfo: memFree=30484420/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=629316 CPUtime=0 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 2331 0 0 0 0 0 0 0 20 0 4 0 13377875 644419584 2692 33554432000 4194304 16246674 140736296055696 140736296055120 15002730 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19473/statm: 157841 2702 442 2943 0 154735 0
[pid=19473/tid=19474] ppid=19470 vsize=646724 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 662245376 2763 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=650820 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 666439680 2779 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=654916 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13377876 670633984 2795 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100102 s]
/proc/loadavg: 2.16 2.13 2.07 3/180 19473
/proc/meminfo: memFree=30484420/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 26615 0 0 0 5 4 0 0 20 0 4 0 13377875 1247350784 26967 33554432000 4194304 16246674 140736296055696 140736296055120 13780501 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19473/statm: 304529 26973 633 2943 0 301423 0
[pid=19473/tid=19474] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 26979 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 26984 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 26989 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200466 s]
/proc/loadavg: 2.16 2.13 2.07 3/180 19473
/proc/meminfo: memFree=30484420/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 46424 0 0 0 11 7 0 0 20 0 4 0 13377875 1247350784 46773 33554432000 4194304 16246674 140736296055696 140736296055120 5523634 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19473/statm: 304529 46780 719 2943 0 301423 0
[pid=19473/tid=19474] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 46788 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 46792 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 46792 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300437 s]
/proc/loadavg: 2.16 2.13 2.07 3/180 19473
/proc/meminfo: memFree=30484420/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 66174 0 0 0 20 9 0 0 20 0 4 0 13377875 1247350784 66523 33554432000 4194304 16246674 140736296055696 140736296055120 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19473/statm: 304529 66532 719 2943 0 301423 0
[pid=19473/tid=19474] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 66539 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 66547 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 66554 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.16 2.13 2.07 3/180 19473
/proc/meminfo: memFree=30484420/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 144727 0 0 0 50 19 0 0 20 0 4 0 13377875 1247350784 145077 33554432000 4194304 16246674 140736296055696 140736296037568 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 304529 145086 719 2943 0 301423 0
[pid=19473/tid=19474] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 145092 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 145095 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13377876 1247350784 145101 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50047 s]
/proc/loadavg: 2.16 2.13 2.07 3/184 19477
/proc/meminfo: memFree=29499004/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 267527 0 0 0 115 34 0 0 20 0 4 0 13377875 1337528320 267856 33554432000 4194304 16246674 140736296055696 140736296054912 5829992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 326545 267856 794 2943 0 323439 0
[pid=19473/tid=19474] ppid=19470 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1337528320 267856 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1337528320 267856 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1337528320 267856 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.1004 s]
/proc/loadavg: 2.16 2.13 2.07 3/184 19477
/proc/meminfo: memFree=29403904/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1316420 CPUtime=3.08 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 270044 0 0 0 274 34 0 0 20 0 4 0 13377875 1348014080 270373 33554432000 4194304 16246674 140736296055696 140736296037568 5523241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 329105 270373 794 2943 0 325999 0
[pid=19473/tid=19474] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270373 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270373 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270373 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1316420

[startup+6.3004 s]
/proc/loadavg: 2.15 2.13 2.07 3/184 19477
/proc/meminfo: memFree=29403588/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1316420 CPUtime=6.28 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 270141 0 0 0 594 34 0 0 20 0 4 0 13377875 1348014080 270470 33554432000 4194304 16246674 140736296055696 140736296037568 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 329105 270470 797 2943 0 325999 0
[pid=19473/tid=19474] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.13 2.12 2.07 3/183 19477
/proc/meminfo: memFree=29403852/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1316420 CPUtime=12.68 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 270141 0 0 0 1234 34 0 0 20 0 4 0 13377875 1348014080 270470 33554432000 4194304 16246674 140736296055696 140736296038696 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 329105 270470 797 2943 0 325999 0
[pid=19473/tid=19474] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1316420

[startup+25.5004 s]
/proc/loadavg: 2.18 2.13 2.07 3/183 19477
/proc/meminfo: memFree=29404396/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1316420 CPUtime=25.49 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 270141 0 0 0 2515 34 0 0 20 0 4 0 13377875 1348014080 270470 33554432000 4194304 16246674 140736296055696 140736296038696 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 329105 270470 797 2943 0 325999 0
[pid=19473/tid=19474] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1004 s]
/proc/loadavg: 2.12 2.12 2.07 3/183 19477
/proc/meminfo: memFree=29404228/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1316420 CPUtime=51.07 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 270141 0 0 0 5073 34 0 0 20 0 4 0 13377875 1348014080 270470 33554432000 4194304 16246674 140736296055696 140736296037568 5823807 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 329105 270470 797 2943 0 325999 0
[pid=19473/tid=19474] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1348014080 270470 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.05 2.10 2.06 3/183 19478
/proc/meminfo: memFree=29399560/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1320516 CPUtime=102.27 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 271165 0 0 0 10192 35 0 0 20 0 4 0 13377875 1352208384 271494 33554432000 4194304 16246674 140736296055696 140736296037568 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 330129 271494 797 2943 0 327023 0
[pid=19473/tid=19474] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1320516

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

[startup+102.607 s]
/proc/loadavg: 2.05 2.10 2.06 3/183 19478
/proc/meminfo: memFree=29399560/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1320516 CPUtime=102.58 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 271165 0 0 0 10223 35 0 0 20 0 4 0 13377875 1352208384 271494 33554432000 4194304 16246674 140736296055696 140736296037568 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 330129 271494 797 2943 0 327023 0
[pid=19473/tid=19474] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.58
Current children cumulated vsize (KiB) 1320516

[startup+115.4 s]
/proc/loadavg: 2.04 2.09 2.06 3/183 19478
/proc/meminfo: memFree=29399668/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1320516 CPUtime=115.37 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 271165 0 0 0 11502 35 0 0 20 0 4 0 13377875 1352208384 271494 33554432000 4194304 16246674 140736296055696 140736296038696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 330129 271494 797 2943 0 327023 0
[pid=19473/tid=19474] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 115.37
Current children cumulated vsize (KiB) 1320516

[startup+128.2 s]
/proc/loadavg: 2.03 2.09 2.06 3/183 19479
/proc/meminfo: memFree=29399644/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1320516 CPUtime=128.17 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 271165 0 0 0 12782 35 0 0 20 0 4 0 13377875 1352208384 271494 33554432000 4194304 16246674 140736296055696 140736296037568 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 330129 271494 797 2943 0 327023 0
[pid=19473/tid=19474] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 128.17
Current children cumulated vsize (KiB) 1320516

[startup+134.6 s]
/proc/loadavg: 2.03 2.09 2.06 3/182 19479
/proc/meminfo: memFree=29399504/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1320516 CPUtime=134.56 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 271165 0 0 0 13421 35 0 0 20 0 4 0 13377875 1352208384 271494 33554432000 4194304 16246674 140736296055696 140736296054792 5676229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 330129 271494 797 2943 0 327023 0
[pid=19473/tid=19474] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 134.56
Current children cumulated vsize (KiB) 1320516

[startup+136.2 s]
/proc/loadavg: 2.03 2.09 2.06 3/182 19479
/proc/meminfo: memFree=29399512/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1320516 CPUtime=136.16 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 271165 0 0 0 13581 35 0 0 20 0 4 0 13377875 1352208384 271494 33554432000 4194304 16246674 140736296055696 140736296037568 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 330129 271494 797 2943 0 327023 0
[pid=19473/tid=19474] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 136.16
Current children cumulated vsize (KiB) 1320516

[startup+137 s]
/proc/loadavg: 2.03 2.09 2.06 3/182 19479
/proc/meminfo: memFree=29399396/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1320516 CPUtime=136.96 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 271165 0 0 0 13661 35 0 0 20 0 4 0 13377875 1352208384 271494 33554432000 4194304 16246674 140736296055696 140736296037568 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 330129 271494 797 2943 0 327023 0
[pid=19473/tid=19474] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 136.96
Current children cumulated vsize (KiB) 1320516

[startup+137.4 s]
/proc/loadavg: 2.03 2.09 2.06 3/182 19479
/proc/meminfo: memFree=29399396/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1320516 CPUtime=137.36 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 271165 0 0 0 13701 35 0 0 20 0 4 0 13377875 1352208384 271494 33554432000 4194304 16246674 140736296055696 140736296037568 12483481 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 330129 271494 797 2943 0 327023 0
[pid=19473/tid=19474] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 137.36
Current children cumulated vsize (KiB) 1320516

[startup+137.807 s]
/proc/loadavg: 2.03 2.09 2.06 3/182 19479
/proc/meminfo: memFree=29399396/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=1320516 CPUtime=137.77 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202496 271165 0 0 0 13742 35 0 0 20 0 4 0 13377875 1352208384 271494 33554432000 4194304 16246674 140736296055696 140736296037568 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 330129 271494 797 2943 0 327023 0
[pid=19473/tid=19474] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19474/stat : 19474 (toysat) S 19470 19473 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964192894192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19473/tid=19475] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19475/stat : 19475 (toysat) S 19470 19473 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964182404336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19473/tid=19476] ppid=19470 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19473/task/19476/stat : 19476 (toysat) S 19470 19473 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13377876 1352208384 271494 33554432000 4194304 16246674 140736296055696 139964171930800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 137.77
Current children cumulated vsize (KiB) 1320516

[startup+137.9 s]
/proc/loadavg: 2.03 2.09 2.06 3/182 19479
/proc/meminfo: memFree=29399396/32872528 swapFree=302776/319128
[pid=19473] ppid=19470 vsize=0 CPUtime=137.86 cores=0,2,4,6
/proc/19473/stat : 19473 (toysat) R 19470 19473 16914 0 -1 4202500 271171 0 0 0 13748 38 0 0 20 0 1 0 13377875 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19473/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 137.86
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 137.926
CPU time (s): 137.9
CPU user time (s): 137.484
CPU system time (s): 0.415936
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.484
system time used= 0.415936
maximum resident set size= 1085988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271171
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= 17
involuntary context switches= 148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.346947 second user time and 0.548916 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-16 23:41:52
IDJOB=4096295
IDBENCH=107594
IDSOLVER=2542
FILE ID=node128/4096295-1466113312
RUNJOBID= node128-1466113207-19339
PBS_JOBID= 19904049
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_20.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096295-1466113312/watcher-4096295-1466113312 -o /tmp/evaluation-result-4096295-1466113312/solver-4096295-1466113312 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19339 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096295-1466113312.opb

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

MD5SUM BENCH= ba37e783d5b209458a50b4ffe081b6b7
RANDOM SEED=1776662960

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30485064 kB
Buffers:           66740 kB
Cached:           189480 kB
SwapCached:         2096 kB
Active:          1254108 kB
Inactive:         105396 kB
Active(anon):    1104024 kB
Inactive(anon):     1600 kB
Active(file):     150084 kB
Inactive(file):   103796 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:             16412 kB
Writeback:             0 kB
AnonPages:       1423692 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             571556 kB
SReclaimable:      14988 kB
SUnreclaim:       556568 kB
KernelStack:        1464 kB
PageTables:         6916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1566296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 71676 MiB
End job on node128 at 2016-06-16 23:44:10