Trace number 4251498

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
cosoco-mini 1.1 (2017-06-27)? (TO) 2400.08 2400

General information on the benchmark

NameColouredQueens/ColouredQueens-m1-s1/
ColouredQueens-19.xml
MD5SUM83a04d869151a5b67f4c27500757dc69
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables361
Number of constraints108
Number of domains1
Minimum domain size19
Maximum domain size19
Distribution of domain sizes[{"size":19,"count":361}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":357}]
Minimum constraint arity2
Maximum constraint arity19
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":4},{"arity":14,"count":4},{"arity":15,"count":4},{"arity":16,"count":4},{"arity":17,"count":4},{"arity":18,"count":4},{"arity":19,"count":40}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":108}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.0 --  
0.00/0.01	c
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 361
0.00/0.01	c |            Domain Sizes: 19..19
0.00/0.01	c |
0.00/0.01	c |             Constraints: 108
0.00/0.01	c |                   Arity: 2..19  -- Binary: 4  -- Ternary: 4
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 108
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.09	c 101            469            33665          52683          0              0              163   181   168
0.09/0.16	c 211            979            58280          90827          0              0              36   183   169 
0.19/0.25	c 332            1443           94092          152729         0              0              128   182   169
0.29/0.37	c 465            2198           140474         229055         0              0              158   196   178
0.49/0.50	c 611            2990           191683         307238         0              0              162   209   189
0.59/0.64	c 771            3805           242947         378441         0              0              104   200   189
0.69/0.73	c 947            4458           280289         453086         0              0              158   210   193
0.89/0.94	c 1140           5630           359453         575954         0              0              167   206   185
0.99/1.07	c 1352           6494           409243         662568         0              0              53   202   183 
1.10/1.20	c 1585           7356           461670         741046         0              0              107   202   184
1.29/1.39	c 1841           8452           532871         846910         0              0              163   205   188
1.59/1.61	c 2122           9580           619055         984525         0              0              172   204   186
1.69/1.76	c 2431           10479          675010         1078864        0              0              151   175   161
1.99/2.09	c 2770           11763          799856         1274238        0              0              166   194   179
2.30/2.33	c 3142           13032          890197         1434713        0              0              145   195   178
2.59/2.64	c 3551           14610          1010782        1638698        0              0              169   201   187
2.99/3.01	c 4000           16232          1150825        1860746        0              0              162   191   176
3.19/3.30	c 4493           17727          1260383        2037344        0              0              165   196   183
3.69/3.74	c 5035           19895          1430123        2285361        0              0              165   202   188
4.19/4.26	c 5631           22630          1626952        2589726        0              0              170   200   185
4.79/4.88	c 6286           25081          1860524        2969332        0              0              176   216   199
5.39/5.45	c 7006           27566          2073058        3360812        0              0              119   198   180
5.69/5.78	c 7798           29578          2204330        3615118        0              0              160   191   179
6.39/6.46	c 8669           32594          2460812        4045145        0              0              124   203   184
6.99/7.09	c 9627           35948          2701927        4451826        0              0              153   201   182
7.99/8.03	c 10680          40718          3058230        5017660        0              0              139   201   184
8.99/9.00	c 11838          45178          3418695        5661042        0              0              170   195   184
9.69/9.73	c 13111          48660          3693907        6175021        0              0              167   208   194
10.79/10.88	c 14511          53819          4135746        6928916        0              0              162   203   186
12.10/12.20	c 16051          58614          4621170        7843374        0              0              173   203   188
12.99/13.01	c 17745          63019          4932265        8418459        0              0              161   212   196
14.19/14.22	c 19608          68274          5377715        9290062        0              0              142   199   182
15.69/15.78	c 21657          76108          5975936        10277720       0              0              145   202   183
17.29/17.37	c 23910          83612          6581973        11363308       0              0              160   199   183
19.19/19.24	c 26388          91457          7297195        12573454       0              0              72   205   186 
21.19/21.23	c 29113          101971         8055457        14029451       0              0              168   216   194
22.89/23.00	c 32110          111244         8724617        15303265       0              0              167   217   200
25.49/25.55	c 35406          122215         9684549        16932436       0              0              169   206   188
27.50/27.53	c 39031          132627         10443475       18285010       0              0              141   199   179
30.29/30.33	c 43018          145522         11514347       20235787       0              0              161   207   187
33.00/33.08	c 47403          158300         12553763       22019906       0              0              160   219   192
35.89/35.98	c 52226          171556         13637717       24119844       0              0              165   202   186
39.79/39.82	c 57531          191290         15081063       26712764       0              0              168   218   196
44.39/44.40	c 63366          208425         16772159       29656820       0              0              163   209   181
49.39/49.43	c 69784          234233         18670985       32857943       0              0              102   215   192
55.00/55.06	c 76843          257587         20813908       36742934       0              0              66   207   179 
60.50/60.55	c 84607          283159         22892995       40413114       0              0              159   207   184
64.69/64.74	c 93147          303491         24471413       43620165       0              0              166   207   195
69.30/69.33	c 102541         330242         26226768       46982063       0              0              160   213   188
77.29/77.38	c 112874         368261         29253987       51894199       0              0              124   211   186
84.70/84.72	c 124240         404494         32034439       56730920       0              0              171   216   192
92.60/92.62	c 136742         443958         35035361       62288294       0              0              151   215   189
100.40/100.43	c 150494         480722         37960495       68514221       0              0              162   215   197
112.50/112.55	c 165621         527735         42465947       76562693       0              0              102   221   192
119.80/119.84	c 182260         571253         45289044       81968716       0              0              99   216   197 
129.20/129.24	c 200562         624081         48932816       89394941       0              0              62   203   184 
140.80/140.88	c 220694         683154         53342761       96934662       0              0              159   210   187
152.30/152.37	c 242839         747103         57744010       105544428      0              0              163   209   189
169.80/169.86	c 267198         833754         64319338       117320591      0              0              148   214   188
186.20/186.26	c 293992         911571         70572157       128316080      0              0              150   208   188
203.80/203.80	c 323465         983790         77176592       140614455      0              0              167   206   188
224.10/224.18	c 355885         1091383        84923454       153548171      0              0              125   216   191
249.20/249.28	c 391547         1205705        94419690       170035753      0              0              158   218   190
271.00/271.02	c 430775         1335324        102823425      185197407      0              0              152   203   183
294.60/294.62	c 473925         1435403        111460212      202777725      0              0              77   221   201 
323.30/323.38	c 521390         1569120        122025952      223984957      0              0              167   215   188
348.30/348.36	c 573601         1692220        131640499      241966802      0              0              165   209   190
386.71/386.71	c 631033         1884731        146339297      267554488      0              0              93   212   183 
428.31/428.30	c 694208         2109408        162269233      293262648      0              0              142   220   181
457.71/457.71	c 763700         2250330        172928844      316043967      0              0              138   220   201
516.21/516.26	c 840141         2516511        195019126      356321491      0              0              165   218   189
558.21/558.26	c 924226         2735395        210525655      391832657      0              0              161   222   201
619.42/619.46	c 1016719        2980117        233573552      434191937      0              0              161   218   194
691.82/691.86	c 1118461        3290064        260728719      484332042      0              0              163   220   194
757.92/757.97	c 1230377        3587571        285952947      529801619      0              0              154   206   182
842.63/842.70	c 1353484        3952937        317946358      587004699      0              0              148   212   186
912.82/912.83	c 1488901        4298747        344604999      636750103      0              0              155   220   198
969.33/969.33	c 1637859        4630578        366061363      685915132      0              0              106   216   193
1049.73/1049.75	c 1801712        5074896        396909983      744616630      0              0              162   226   194
1142.23/1142.29	c 1981950        5517141        432391019      813028164      0              0              66   220   188 
1206.74/1206.79	c 2180211        5996766        456751792      863747212      0              0              134   219   191
1331.04/1331.04	c 2398298        6590340        504348783      943417779      0              0              143   222   192
1437.34/1437.33	c 2638193        7176039        544518963      1029411189     0              0              161   230   200
1595.35/1595.39	c 2902077        7912878        604283062      1137549518     0              0              156   215   190
1740.26/1740.26	c 3192349        8656634        659530081      1235502356     0              0              139   228   199
1962.36/1962.30	c 3511648        9610317        744644494      1384731698     0              0              122   220   188
2098.47/2098.44	c 3862876        10456321       794687008      1495812402     0              0              163   219   200
2352.98/2352.96	c 4249226        11700151       890936514      1672433529     0              0              156   218   189

Verifier Data 

One s line expected

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-4251498-1500914935/watcher-4251498-1500914935 -o /tmp/evaluation-result-4251498-1500914935/solver-4251498-1500914935 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500914921-3427 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251498-1500914935.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.14 1.37 4.17 2/176 3809
/proc/meminfo: memFree=32136940/32770624 swapFree=5836/110436
[pid=3809] ppid=3806 vsize=27036 CPUtime=0 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 1021 0 0 0 0 0 0 0 20 0 1 0 1052394 27684864 825 33554432000 4194304 5744392 140727064950144 140727064946792 140263732075493 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6759 825 685 379 0 178 0

[startup+0.100198 s]
/proc/loadavg: 0.14 1.37 4.17 2/176 3809
/proc/meminfo: memFree=32136940/32770624 swapFree=5836/110436
[pid=3809] ppid=3806 vsize=27696 CPUtime=0.09 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 1215 0 0 0 9 0 0 0 20 0 1 0 1052394 28360704 1023 33554432000 4194304 5744392 140727064950144 140727064946792 4914420 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6924 1023 746 379 0 343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27696

[startup+0.20033 s]
/proc/loadavg: 0.14 1.37 4.17 2/176 3809
/proc/meminfo: memFree=32136940/32770624 swapFree=5836/110436
[pid=3809] ppid=3806 vsize=27696 CPUtime=0.19 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 1233 0 0 0 19 0 0 0 20 0 1 0 1052394 28360704 1023 33554432000 4194304 5744392 140727064950144 140727064947544 4916485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6924 1023 746 379 0 343 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27696

[startup+0.300331 s]
/proc/loadavg: 0.14 1.37 4.17 2/176 3809
/proc/meminfo: memFree=32136940/32770624 swapFree=5836/110436
[pid=3809] ppid=3806 vsize=27696 CPUtime=0.29 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 1233 0 0 0 29 0 0 0 20 0 1 0 1052394 28360704 1023 33554432000 4194304 5744392 140727064950144 140727064947544 4916548 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6924 1023 746 379 0 343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27696

[startup+0.700276 s]
/proc/loadavg: 0.14 1.37 4.17 2/176 3809
/proc/meminfo: memFree=32136940/32770624 swapFree=5836/110436
[pid=3809] ppid=3806 vsize=27696 CPUtime=0.69 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 1242 0 0 0 69 0 0 0 20 0 1 0 1052394 28360704 1023 33554432000 4194304 5744392 140727064950144 140727064947544 4914103 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6924 1023 746 379 0 343 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27696

[startup+1.50029 s]
/proc/loadavg: 0.14 1.37 4.17 2/177 3810
/proc/meminfo: memFree=32135792/32770624 swapFree=5836/110392
[pid=3809] ppid=3806 vsize=27696 CPUtime=1.49 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 1243 0 0 0 149 0 0 0 20 0 1 0 1052394 28360704 1023 33554432000 4194304 5744392 140727064950144 140727064947544 4917494 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6924 1023 746 379 0 343 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27696

[startup+3.10028 s]
/proc/loadavg: 0.14 1.37 4.17 3/183 3825
/proc/meminfo: memFree=32082404/32770624 swapFree=5836/110392
[pid=3809] ppid=3806 vsize=27696 CPUtime=3.09 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 1512 0 0 0 309 0 0 0 20 0 1 0 1052394 28360704 1084 33554432000 4194304 5744392 140727064950144 140727064947544 4910367 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6924 1084 748 379 0 343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27696

[startup+6.30028 s]
/proc/loadavg: 0.29 1.38 4.16 3/183 3825
/proc/meminfo: memFree=32061192/32770624 swapFree=5836/110392
[pid=3809] ppid=3806 vsize=27696 CPUtime=6.29 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 1782 0 0 0 629 0 0 0 20 0 1 0 1052394 28360704 1084 33554432000 4194304 5744392 140727064950144 140727064947544 4998864 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6924 1084 748 379 0 343 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27696

[startup+12.7003 s]
/proc/loadavg: 0.43 1.39 4.15 3/183 3825
/proc/meminfo: memFree=32035504/32770624 swapFree=5836/110464
[pid=3809] ppid=3806 vsize=27828 CPUtime=12.69 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 2052 0 0 0 1269 0 0 0 20 0 1 0 1052394 28495872 1084 33554432000 4194304 5744392 140727064950144 140727064947544 4917529 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1084 748 379 0 376 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27828

[startup+25.5003 s]
/proc/loadavg: 0.78 1.42 4.11 3/183 3825
/proc/meminfo: memFree=32031188/32770624 swapFree=5836/110480
[pid=3809] ppid=3806 vsize=27828 CPUtime=25.49 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 2567 0 0 0 2549 0 0 0 20 0 1 0 1052394 28495872 1085 33554432000 4194304 5744392 140727064950144 140727064947544 4909481 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1085 748 379 0 376 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27828

[startup+51.1003 s]
/proc/loadavg: 1.19 1.47 4.06 3/183 3825
/proc/meminfo: memFree=32027124/32770624 swapFree=5836/110524
[pid=3809] ppid=3806 vsize=27828 CPUtime=51.09 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 2862 0 0 0 5109 0 0 0 20 0 1 0 1052394 28495872 1086 33554432000 4194304 5744392 140727064950144 140727064947544 4914510 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1086 748 379 0 376 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27828

[startup+102.3 s]
/proc/loadavg: 1.65 1.55 3.95 3/183 3833
/proc/meminfo: memFree=32025292/32770624 swapFree=5836/110600
[pid=3809] ppid=3806 vsize=27828 CPUtime=102.3 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 3132 0 0 0 10230 0 0 0 20 0 1 0 1052394 28495872 1086 33554432000 4194304 5744392 140727064950144 140727064947544 4913884 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1086 748 379 0 376 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27828

[startup+162.3 s]
/proc/loadavg: 1.87 1.63 3.83 3/183 3834
/proc/meminfo: memFree=32024680/32770624 swapFree=5836/110652
[pid=3809] ppid=3806 vsize=27828 CPUtime=162.3 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 3404 0 0 0 16230 0 0 0 20 0 1 0 1052394 28495872 1087 33554432000 4194304 5744392 140727064950144 140727064947544 4914536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1087 748 379 0 376 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27828

[startup+222.306 s]
/proc/loadavg: 1.95 1.70 3.71 3/183 3835
/proc/meminfo: memFree=32023872/32770624 swapFree=5836/110696
[pid=3809] ppid=3806 vsize=27828 CPUtime=222.31 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 3675 0 0 0 22231 0 0 0 20 0 1 0 1052394 28495872 1087 33554432000 4194304 5744392 140727064950144 140727064947544 4911532 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1087 748 379 0 376 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 27828

[startup+282.3 s]
/proc/loadavg: 2.02 1.77 3.61 3/183 3836
/proc/meminfo: memFree=32022156/32770624 swapFree=5836/110744
[pid=3809] ppid=3806 vsize=27828 CPUtime=282.3 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 3946 0 0 0 28230 0 0 0 20 0 1 0 1052394 28495872 1087 33554432000 4194304 5744392 140727064950144 140727064947544 4910752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1087 748 379 0 376 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27828

[startup+342.3 s]
/proc/loadavg: 2.06 1.83 3.51 3/182 3837
/proc/meminfo: memFree=32022364/32770624 swapFree=5836/110784
[pid=3809] ppid=3806 vsize=27828 CPUtime=342.3 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 4219 0 0 0 34230 0 0 0 20 0 1 0 1052394 28495872 1088 33554432000 4194304 5744392 140727064950144 140727064947544 4998864 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1088 748 379 0 376 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27828

[startup+402.3 s]
/proc/loadavg: 2.02 1.86 3.42 3/182 3839
/proc/meminfo: memFree=32022016/32770624 swapFree=5836/110836
[pid=3809] ppid=3806 vsize=27828 CPUtime=402.31 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 4491 0 0 0 40231 0 0 0 20 0 1 0 1052394 28495872 1088 33554432000 4194304 5744392 140727064950144 140727064947544 4913888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1088 748 379 0 376 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 27828

[startup+462.3 s]
/proc/loadavg: 2.01 1.88 3.33 3/182 3840
/proc/meminfo: memFree=32021876/32770624 swapFree=5836/110868
[pid=3809] ppid=3806 vsize=27828 CPUtime=462.31 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 4764 0 0 0 46231 0 0 0 20 0 1 0 1052394 28495872 1088 33554432000 4194304 5744392 140727064950144 140727064947544 4998896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1088 748 379 0 376 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 27828

[startup+522.3 s]
/proc/loadavg: 2.00 1.90 3.25 3/182 3841
/proc/meminfo: memFree=32021748/32770624 swapFree=5836/110896
[pid=3809] ppid=3806 vsize=27828 CPUtime=522.31 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 5037 0 0 0 52231 0 0 0 20 0 1 0 1052394 28495872 1089 33554432000 4194304 5744392 140727064950144 140727064947544 4909619 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1089 748 379 0 376 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 27828

[startup+582.3 s]
/proc/loadavg: 2.00 1.92 3.17 3/182 3843
/proc/meminfo: memFree=32021108/32770624 swapFree=5836/110940
[pid=3809] ppid=3806 vsize=27828 CPUtime=582.31 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 5310 0 0 0 58231 0 0 0 20 0 1 0 1052394 28495872 1089 33554432000 4194304 5744392 140727064950144 140727064947544 4909549 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1089 748 379 0 376 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 27828


################
# More data... #
################


[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 2.45 3/181 3894
/proc/meminfo: memFree=32021136/32770624 swapFree=5836/111236
[pid=3809] ppid=3806 vsize=27828 CPUtime=1482.34 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 8795 0 0 0 148234 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4909640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 27828

[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 2.42 3/182 3896
/proc/meminfo: memFree=32020120/32770624 swapFree=5836/111256
[pid=3809] ppid=3806 vsize=27828 CPUtime=1542.35 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 9044 0 0 0 154235 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4911239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 27828

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 2.39 3/182 3897
/proc/meminfo: memFree=32019496/32770624 swapFree=5836/111284
[pid=3809] ppid=3806 vsize=27828 CPUtime=1602.35 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 9317 0 0 0 160235 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4916437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 27828

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 2.37 3/182 3898
/proc/meminfo: memFree=32019480/32770624 swapFree=5836/111320
[pid=3809] ppid=3806 vsize=27828 CPUtime=1662.35 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 9569 0 0 0 166235 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4910364 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 27828

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.35 3/182 3899
/proc/meminfo: memFree=32019960/32770624 swapFree=5836/111336
[pid=3809] ppid=3806 vsize=27828 CPUtime=1722.35 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 9820 0 0 0 172235 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4910399 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 27828

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.32 3/182 3900
/proc/meminfo: memFree=32019024/32770624 swapFree=5836/111364
[pid=3809] ppid=3806 vsize=27828 CPUtime=1782.35 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 10093 0 0 0 178235 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4914722 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 27828

[startup+1842.3 s]
/proc/loadavg: 2.07 2.00 2.31 3/182 3901
/proc/meminfo: memFree=32018776/32770624 swapFree=5836/111384
[pid=3809] ppid=3806 vsize=27828 CPUtime=1842.36 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 10345 0 0 0 184236 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4916456 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 1842.36
Current children cumulated vsize (KiB) 27828

[startup+1902.3 s]
/proc/loadavg: 2.03 2.00 2.29 3/183 3910
/proc/meminfo: memFree=32018224/32770624 swapFree=5836/111424
[pid=3809] ppid=3806 vsize=27828 CPUtime=1902.36 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 10596 0 0 0 190236 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4917537 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 27828

[startup+1962.3 s]
/proc/loadavg: 2.01 2.00 2.27 3/183 3911
/proc/meminfo: memFree=32019216/32770624 swapFree=5836/111444
[pid=3809] ppid=3806 vsize=27828 CPUtime=1962.36 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 10848 0 0 0 196236 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4909555 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 1962.36
Current children cumulated vsize (KiB) 27828

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.26 3/183 3912
/proc/meminfo: memFree=32019348/32770624 swapFree=5836/111464
[pid=3809] ppid=3806 vsize=27828 CPUtime=2022.36 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 11121 0 0 0 202236 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4917895 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 27828

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/183 3913
/proc/meminfo: memFree=32019372/32770624 swapFree=5836/111488
[pid=3809] ppid=3806 vsize=27828 CPUtime=2082.37 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 11371 0 0 0 208237 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4872452 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 27828

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.22 3/183 3914
/proc/meminfo: memFree=32019504/32770624 swapFree=5836/111524
[pid=3809] ppid=3806 vsize=27828 CPUtime=2142.37 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 11394 0 0 0 214237 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4910974 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 2142.37
Current children cumulated vsize (KiB) 27828

[startup+2202.31 s]
/proc/loadavg: 2.00 2.00 2.21 3/182 3916
/proc/meminfo: memFree=32019352/32770624 swapFree=5836/111552
[pid=3809] ppid=3806 vsize=27828 CPUtime=2202.37 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 11644 0 0 0 220237 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4917541 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 27828

[startup+2262.3 s]
/proc/loadavg: 2.05 2.02 2.20 3/182 3917
/proc/meminfo: memFree=32019356/32770624 swapFree=5836/111572
[pid=3809] ppid=3806 vsize=27828 CPUtime=2262.37 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 11895 0 0 0 226237 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4917954 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 2262.37
Current children cumulated vsize (KiB) 27828

[startup+2322.3 s]
/proc/loadavg: 2.09 2.03 2.20 3/182 3918
/proc/meminfo: memFree=32019232/32770624 swapFree=5836/111596
[pid=3809] ppid=3806 vsize=27828 CPUtime=2322.37 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 12147 0 0 0 232237 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4914472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 27828

[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.19 3/182 3920
/proc/meminfo: memFree=32018380/32770624 swapFree=5836/111632
[pid=3809] ppid=3806 vsize=27828 CPUtime=2382.37 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 12420 0 0 0 238237 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4914444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 27828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]
/proc/loadavg: 2.02 2.02 2.18 3/182 3920
/proc/meminfo: memFree=32018504/32770624 swapFree=5836/111640
[pid=3809] ppid=3806 vsize=27828 CPUtime=2400.08 cores=0,2,4,6
/proc/3809/stat : 3809 (cosoco) R 3806 3809 3396 0 -1 4202496 12671 0 0 0 240008 0 0 0 20 0 1 0 1052394 28495872 1090 33554432000 4194304 5744392 140727064950144 140727064947544 4916320 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39448576 140727064954049 140727064954179 140727064954179 140727064956878 0
/proc/3809/statm: 6957 1090 748 379 0 376 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 27828

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 1
Real time (s): 2400
CPU time (s): 2400.08
CPU user time (s): 2400.08
CPU system time (s): 0.002007
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.002007
maximum resident set size= 4404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12699
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= 7
involuntary context switches= 622

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.08936 second user time and 8.81386 second system time

The end

Launcher Data 

Begin job on node139 at 2017-07-24 18:48:55
IDJOB=4251498
IDBENCH=115862
IDSOLVER=2633
FILE ID=node139/4251498-1500914935
RUNJOBID= node139-1500914921-3427
PBS_JOBID= 20625404
Free space on /tmp= 61844 MiB

SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-19.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4251498-1500914935/watcher-4251498-1500914935 -o /tmp/evaluation-result-4251498-1500914935/solver-4251498-1500914935 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500914921-3427 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4251498-1500914935.xml

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

MD5SUM BENCH= 83a04d869151a5b67f4c27500757dc69
RANDOM SEED=1135584562

node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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:       32770624 kB
MemFree:        32137896 kB
MemAvailable:   32062776 kB
Buffers:           32372 kB
Cached:           207532 kB
SwapCached:            0 kB
Active:           161532 kB
Inactive:         119024 kB
Active(anon):      43460 kB
Inactive(anon):     8588 kB
Active(file):     118072 kB
Inactive(file):   110436 kB
Unevictable:        5836 kB
Mlocked:            5836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2068 kB
Writeback:             4 kB
AnonPages:         45668 kB
Mapped:            26640 kB
Shmem:              8848 kB
Slab:              48776 kB
SReclaimable:      24412 kB
SUnreclaim:        24364 kB
KernelStack:        3120 kB
PageTables:         4484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     264396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61840 MiB
End job on node139 at 2017-07-24 19:28:55