Trace number 4239922

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
R1: cosoco 1.1? (TO) 2400.09 2400.9

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.04	c root propagations     : 0           
0.00/0.04	c restarts enabled, print stats at every restarts
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c This is cosoco 1.0 --  
0.00/0.04	c
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.01 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 361
0.00/0.04	c |            Domain Sizes: 19..19
0.00/0.04	c |
0.00/0.04	c |             Constraints: 108
0.00/0.04	c |                   Arity: 2..19  -- Binary: 4  -- Ternary: 4
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          All Different: 108
0.00/0.04	c |                          
0.00/0.04	c =========================================================================================================
0.00/0.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.06/0.17	c 101            469            33665          52683          0              0              163   181   168
0.16/0.24	c 211            979            58280          90827          0              0              36   183   169 
0.26/0.33	c 332            1443           94092          152729         0              0              128   182   169
0.36/0.45	c 465            2198           140474         229055         0              0              158   196   178
0.46/0.58	c 611            2990           191683         307238         0              0              162   209   189
0.66/0.71	c 771            3805           242947         378441         0              0              104   200   189
0.76/0.81	c 947            4458           280289         453086         0              0              158   210   193
0.96/1.02	c 1140           5630           359453         575954         0              0              167   206   185
1.07/1.14	c 1352           6494           409243         662568         0              0              53   202   183 
1.17/1.27	c 1585           7356           461670         741046         0              0              107   202   184
1.36/1.46	c 1841           8452           532871         846910         0              0              163   205   188
1.56/1.68	c 2122           9580           619055         984525         0              0              172   204   186
1.76/1.83	c 2431           10479          675010         1078864        0              0              151   175   161
2.06/2.16	c 2770           11763          799856         1274238        0              0              166   194   179
2.26/2.39	c 3142           13032          890197         1434713        0              0              145   195   178
2.66/2.70	c 3551           14610          1010782        1638698        0              0              169   201   187
2.96/3.06	c 4000           16232          1150825        1860746        0              0              162   191   176
3.26/3.35	c 4493           17727          1260383        2037344        0              0              165   196   183
3.66/3.78	c 5035           19895          1430123        2285361        0              0              165   202   188
4.26/4.30	c 5631           22630          1626952        2589726        0              0              170   200   185
4.86/4.91	c 6286           25081          1860524        2969332        0              0              176   216   199
5.36/5.48	c 7006           27566          2073058        3360812        0              0              119   198   180
5.76/5.81	c 7798           29578          2204330        3615118        0              0              160   191   179
6.36/6.48	c 8669           32594          2460812        4045145        0              0              124   203   184
7.06/7.10	c 9627           35948          2701927        4451826        0              0              153   201   182
7.96/8.03	c 10680          40718          3058230        5017660        0              0              139   201   184
8.86/8.99	c 11838          45178          3418695        5661042        0              0              170   195   184
9.66/9.71	c 13111          48660          3693907        6175021        0              0              167   208   194
10.76/10.85	c 14511          53819          4135746        6928916        0              0              162   203   186
12.06/12.15	c 16051          58614          4621170        7843374        0              0              173   203   188
12.86/12.96	c 17745          63019          4932265        8418459        0              0              161   212   196
14.06/14.15	c 19608          68274          5377715        9290062        0              0              142   199   182
15.65/15.70	c 21657          76108          5975936        10277720       0              0              145   202   183
17.15/17.26	c 23910          83612          6581973        11363308       0              0              160   199   183
19.05/19.12	c 26388          91457          7297195        12573454       0              0              72   205   186 
20.96/21.08	c 29113          101971         8055457        14029451       0              0              168   216   194
22.75/22.83	c 32110          111244         8724617        15303265       0              0              167   217   200
25.26/25.36	c 35406          122215         9684549        16932436       0              0              169   206   188
27.25/27.31	c 39031          132627         10443475       18285010       0              0              141   199   179
29.95/30.08	c 43018          145522         11514347       20235787       0              0              161   207   187
32.75/32.81	c 47403          158300         12553763       22019906       0              0              160   219   192
35.55/35.67	c 52226          171556         13637717       24119844       0              0              165   202   186
39.35/39.49	c 57531          191290         15081063       26712764       0              0              168   218   196
43.95/44.01	c 63366          208425         16772159       29656820       0              0              163   209   181
48.84/48.99	c 69784          234233         18670985       32857943       0              0              102   215   192
54.44/54.53	c 76843          257587         20813908       36742934       0              0              66   207   179 
59.84/59.97	c 84607          283159         22892995       40413114       0              0              159   207   184
64.04/64.11	c 93147          303491         24471413       43620165       0              0              166   207   195
68.53/68.65	c 102541         330242         26226768       46982063       0              0              160   213   188
76.53/76.61	c 112874         368261         29253987       51894199       0              0              124   211   186
83.73/83.85	c 124240         404494         32034439       56730920       0              0              171   216   192
91.53/91.66	c 136742         443958         35035361       62288294       0              0              151   215   189
99.22/99.37	c 150494         480722         37960495       68514221       0              0              162   215   197
111.22/111.34	c 165621         527735         42465947       76562693       0              0              102   221   192
118.42/118.56	c 182260         571253         45289044       81968716       0              0              99   216   197 
127.71/127.85	c 200562         624081         48932816       89394941       0              0              62   203   184 
139.21/139.38	c 220694         683154         53342761       96934662       0              0              159   210   187
150.61/150.73	c 242839         747103         57744010       105544428      0              0              163   209   189
167.80/167.98	c 267198         833754         64319338       117320591      0              0              148   214   188
183.99/184.17	c 293992         911571         70572157       128316080      0              0              150   208   188
201.39/201.53	c 323465         983790         77176592       140614455      0              0              167   206   188
221.48/221.67	c 355885         1091383        84923454       153548171      0              0              125   216   191
246.37/246.52	c 391547         1205705        94419690       170035753      0              0              158   218   190
267.76/267.99	c 430775         1335324        102823425      185197407      0              0              152   203   183
291.15/291.35	c 473925         1435403        111460212      202777725      0              0              77   221   201 
319.65/319.80	c 521390         1569120        122025952      223984957      0              0              167   215   188
344.34/344.54	c 573601         1692220        131640499      241966802      0              0              165   209   190
382.23/382.46	c 631033         1884731        146339297      267554488      0              0              93   212   183 
423.32/423.57	c 694208         2109408        162269233      293262648      0              0              142   220   181
452.40/452.66	c 763700         2250330        172928844      316043967      0              0              138   220   201
510.39/510.62	c 840141         2516511        195019126      356321491      0              0              165   218   189
551.98/552.20	c 924226         2735395        210525655      391832657      0              0              161   222   201
612.35/612.64	c 1016719        2980117        233573552      434191937      0              0              161   218   194
683.93/684.23	c 1118461        3290064        260728719      484332042      0              0              163   220   194
749.21/749.53	c 1230377        3587571        285952947      529801619      0              0              154   206   182
832.78/833.18	c 1353484        3952937        317946358      587004699      0              0              148   212   186
902.26/902.63	c 1488901        4298747        344604999      636750103      0              0              155   220   198
958.04/958.40	c 1637859        4630578        366061363      685915132      0              0              106   216   193
1037.52/1037.92	c 1801712        5074896        396909983      744616630      0              0              162   226   194
1128.99/1129.46	c 1981950        5517141        432391019      813028164      0              0              66   220   188 
1192.67/1193.15	c 2180211        5996766        456751792      863747212      0              0              134   219   191
1315.43/1315.98	c 2398298        6590340        504348783      943417779      0              0              143   222   192
1420.59/1421.15	c 2638193        7176039        544518963      1029411189     0              0              161   230   200
1576.85/1577.41	c 2902077        7912878        604283062      1137549518     0              0              156   215   190
1720.20/1720.88	c 3192349        8656634        659530081      1235502356     0              0              139   228   199
1940.23/1940.90	c 3511648        9610317        744644494      1384731698     0              0              122   220   188
2075.48/2076.23	c 3862876        10456321       794687008      1495812402     0              0              163   219   200
2326.81/2327.66	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-4239922-1500623785/watcher-4239922-1500623785 -o /tmp/evaluation-result-4239922-1500623785/solver-4239922-1500623785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500623778-3189 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239922-1500623785.xml 

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

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.00 0.01 0.05 2/180 3203
/proc/meminfo: memFree=31585652/32770624 swapFree=7224/421744
[pid=3203] ppid=3200 vsize=2036 CPUtime=0 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) D 3200 3203 3157 0 -1 1077936128 157 0 0 0 0 0 0 0 20 0 1 0 15654939 2084864 1 33554432000 4194304 5970956 140733611124512 140733611121752 140666581116615 0 0 4096 0 18446744072101547556 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 509 1 0 434 0 39 0

[startup+0.100158 s]
/proc/loadavg: 0.00 0.01 0.05 2/180 3203
/proc/meminfo: memFree=31585652/32770624 swapFree=7224/421744
[pid=3203] ppid=3200 vsize=27916 CPUtime=0.06 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 1227 0 3 0 6 0 0 0 20 0 1 0 15654939 28585984 1027 33554432000 4194304 5970956 140733611124512 140733611121208 4976751 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 6979 1027 763 434 0 343 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27916

[startup+0.20031 s]
/proc/loadavg: 0.00 0.01 0.05 2/180 3203
/proc/meminfo: memFree=31585652/32770624 swapFree=7224/421744
[pid=3203] ppid=3200 vsize=27916 CPUtime=0.16 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 1243 0 3 0 16 0 0 0 20 0 1 0 15654939 28585984 1027 33554432000 4194304 5970956 140733611124512 140733611121848 4977781 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 6979 1027 763 434 0 343 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 27916

[startup+0.300264 s]
/proc/loadavg: 0.00 0.01 0.05 2/180 3203
/proc/meminfo: memFree=31585652/32770624 swapFree=7224/421744
[pid=3203] ppid=3200 vsize=27916 CPUtime=0.26 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 1249 0 3 0 26 0 0 0 20 0 1 0 15654939 28585984 1027 33554432000 4194304 5970956 140733611124512 140733611121848 5327993 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 6979 1027 763 434 0 343 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 27916

[startup+0.70023 s]
/proc/loadavg: 0.00 0.01 0.05 2/180 3203
/proc/meminfo: memFree=31585652/32770624 swapFree=7224/421744
[pid=3203] ppid=3200 vsize=27916 CPUtime=0.66 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 1256 0 3 0 66 0 0 0 20 0 1 0 15654939 28585984 1093 33554432000 4194304 5970956 140733611124512 140733611121848 4977765 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 6979 1093 766 434 0 343 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 27916

[startup+1.50021 s]
/proc/loadavg: 0.00 0.01 0.05 2/181 3265
/proc/meminfo: memFree=31579444/32770624 swapFree=7224/421080
[pid=3203] ppid=3200 vsize=27916 CPUtime=1.46 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 1259 0 3 0 146 0 0 0 20 0 1 0 15654939 28585984 1093 33554432000 4194304 5970956 140733611124512 140733611121848 4974649 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 6979 1093 766 434 0 343 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 27916

[startup+3.10022 s]
/proc/loadavg: 0.08 0.03 0.05 2/181 3265
/proc/meminfo: memFree=31579148/32770624 swapFree=7224/421040
[pid=3203] ppid=3200 vsize=28048 CPUtime=3.06 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 1529 0 3 0 306 0 0 0 20 0 1 0 15654939 28721152 1103 33554432000 4194304 5970956 140733611124512 140733611121848 4977752 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1103 766 434 0 376 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 28048

[startup+6.30021 s]
/proc/loadavg: 0.08 0.03 0.05 3/187 3280
/proc/meminfo: memFree=31574836/32770624 swapFree=7224/421104
[pid=3203] ppid=3200 vsize=28048 CPUtime=6.26 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 1801 0 3 0 626 0 0 0 20 0 1 0 15654939 28721152 1103 33554432000 4194304 5970956 140733611124512 140733611121848 4908539 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1103 766 434 0 376 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 28048

[startup+12.7002 s]
/proc/loadavg: 0.30 0.08 0.07 3/187 3280
/proc/meminfo: memFree=31574892/32770624 swapFree=7224/421112
[pid=3203] ppid=3200 vsize=28048 CPUtime=12.66 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 2071 0 3 0 1266 0 0 0 20 0 1 0 15654939 28721152 1104 33554432000 4194304 5970956 140733611124512 140733611121848 4974750 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1104 766 434 0 376 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 28048

[startup+25.5003 s]
/proc/loadavg: 0.56 0.14 0.09 3/187 3280
/proc/meminfo: memFree=31574956/32770624 swapFree=7224/421128
[pid=3203] ppid=3200 vsize=28048 CPUtime=25.45 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 2614 0 3 0 2545 0 0 0 20 0 1 0 15654939 28721152 1105 33554432000 4194304 5970956 140733611124512 140733611121848 4977752 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1105 766 434 0 376 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 28048

[startup+51.1003 s]
/proc/loadavg: 1.05 0.29 0.14 3/187 3280
/proc/meminfo: memFree=31575328/32770624 swapFree=7224/421160
[pid=3203] ppid=3200 vsize=28048 CPUtime=51.04 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 2886 0 3 0 5104 0 0 0 20 0 1 0 15654939 28721152 1105 33554432000 4194304 5970956 140733611124512 140733611121848 4977777 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1105 766 434 0 376 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 28048

[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.24 3/187 3282
/proc/meminfo: memFree=31575048/32770624 swapFree=7224/421240
[pid=3203] ppid=3200 vsize=28048 CPUtime=102.23 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 3158 0 3 0 10223 0 0 0 20 0 1 0 15654939 28721152 1105 33554432000 4194304 5970956 140733611124512 140733611121848 4974982 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1105 766 434 0 376 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 28048

[startup+162.3 s]
/proc/loadavg: 1.85 0.82 0.35 3/187 3283
/proc/meminfo: memFree=31575020/32770624 swapFree=7224/421300
[pid=3203] ppid=3200 vsize=28048 CPUtime=162.2 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 3431 0 3 0 16220 0 0 0 20 0 1 0 15654939 28721152 1106 33554432000 4194304 5970956 140733611124512 140733611121848 4977368 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1106 766 434 0 376 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 28048

[startup+222.306 s]
/proc/loadavg: 1.95 1.05 0.46 3/188 3292
/proc/meminfo: memFree=31573224/32770624 swapFree=7224/421352
[pid=3203] ppid=3200 vsize=28048 CPUtime=222.18 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 3704 0 3 0 22218 0 0 0 20 0 1 0 15654939 28721152 1106 33554432000 4194304 5970956 140733611124512 140733611121848 4971772 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1106 766 434 0 376 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 28048

[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.55 3/189 3316
/proc/meminfo: memFree=31573020/32770624 swapFree=7224/421408
[pid=3203] ppid=3200 vsize=28048 CPUtime=282.16 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 3976 0 3 0 28216 0 0 0 20 0 1 0 15654939 28721152 1106 33554432000 4194304 5970956 140733611124512 140733611121848 4976713 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1106 766 434 0 376 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 28048

[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/189 3317
/proc/meminfo: memFree=31573104/32770624 swapFree=7224/421456
[pid=3203] ppid=3200 vsize=28048 CPUtime=342.14 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 4248 0 3 0 34214 0 0 0 20 0 1 0 15654939 28721152 1106 33554432000 4194304 5970956 140733611124512 140733611121848 4976815 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1106 766 434 0 376 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 28048

[startup+402.3 s]
/proc/loadavg: 2.00 1.47 0.72 3/189 3318
/proc/meminfo: memFree=31573568/32770624 swapFree=7224/421504
[pid=3203] ppid=3200 vsize=28048 CPUtime=402.12 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 4520 0 3 0 40212 0 0 0 20 0 1 0 15654939 28721152 1106 33554432000 4194304 5970956 140733611124512 140733611121848 4969776 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1106 766 434 0 376 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 28048

[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.80 3/189 3319
/proc/meminfo: memFree=31573804/32770624 swapFree=7224/421536
[pid=3203] ppid=3200 vsize=28048 CPUtime=462.1 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 4793 0 3 0 46210 0 0 0 20 0 1 0 15654939 28721152 1106 33554432000 4194304 5970956 140733611124512 140733611121848 4977138 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1106 766 434 0 376 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 28048

[startup+522.3 s]
/proc/loadavg: 2.14 1.70 0.90 3/188 3320
/proc/meminfo: memFree=31573688/32770624 swapFree=7224/421584
[pid=3203] ppid=3200 vsize=28048 CPUtime=522.08 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 5066 0 3 0 52208 0 0 0 20 0 1 0 15654939 28721152 1107 33554432000 4194304 5970956 140733611124512 140733611121848 4974327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1107 766 434 0 376 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 28048

[startup+582.3 s]
/proc/loadavg: 2.05 1.76 0.97 3/187 3321
/proc/meminfo: memFree=31573556/32770624 swapFree=7224/421620
[pid=3203] ppid=3200 vsize=28048 CPUtime=582.06 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 5339 0 3 0 58206 0 0 0 20 0 1 0 15654939 28721152 1107 33554432000 4194304 5970956 140733611124512 140733611121848 4977737 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1107 766 434 0 376 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 28048


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


[startup+1542.31 s]
/proc/loadavg: 2.05 2.01 1.65 3/188 3353
/proc/meminfo: memFree=31572712/32770624 swapFree=7224/422128
[pid=3203] ppid=3200 vsize=28048 CPUtime=1541.76 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 9602 0 3 0 154176 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4974624 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 28048

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.67 3/188 3354
/proc/meminfo: memFree=31572688/32770624 swapFree=7224/422164
[pid=3203] ppid=3200 vsize=28048 CPUtime=1601.73 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 9876 0 3 0 160173 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4977754 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 28048

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.69 3/188 3355
/proc/meminfo: memFree=31572796/32770624 swapFree=7224/422200
[pid=3203] ppid=3200 vsize=28048 CPUtime=1661.72 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 10126 0 3 0 166172 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4977143 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 28048

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.71 3/187 3357
/proc/meminfo: memFree=31572884/32770624 swapFree=7224/422220
[pid=3203] ppid=3200 vsize=28048 CPUtime=1721.7 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 10401 0 3 0 172170 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 5327993 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 28048

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.73 3/187 3358
/proc/meminfo: memFree=31572644/32770624 swapFree=7224/422248
[pid=3203] ppid=3200 vsize=28048 CPUtime=1781.68 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 10650 0 3 0 178168 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4974138 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 28048

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.74 3/187 3359
/proc/meminfo: memFree=31572752/32770624 swapFree=7224/422276
[pid=3203] ppid=3200 vsize=28048 CPUtime=1841.66 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 10900 0 3 0 184166 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 5093128 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 1841.66
Current children cumulated vsize (KiB) 28048

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/187 3361
/proc/meminfo: memFree=31573064/32770624 swapFree=7224/422308
[pid=3203] ppid=3200 vsize=28048 CPUtime=1901.64 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 11149 0 3 0 190164 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 5093225 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 1901.64
Current children cumulated vsize (KiB) 28048

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/187 3362
/proc/meminfo: memFree=31572980/32770624 swapFree=7224/422340
[pid=3203] ppid=3200 vsize=28048 CPUtime=1961.62 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 11423 0 3 0 196162 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4974704 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 1961.62
Current children cumulated vsize (KiB) 28048

[startup+2022.3 s]
/proc/loadavg: 2.12 2.05 1.81 3/187 3370
/proc/meminfo: memFree=31571776/32770624 swapFree=7224/422388
[pid=3203] ppid=3200 vsize=28048 CPUtime=2021.6 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 11677 0 3 0 202160 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4970618 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 2021.6
Current children cumulated vsize (KiB) 28048

[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 1.82 3/187 3371
/proc/meminfo: memFree=31572396/32770624 swapFree=7224/422412
[pid=3203] ppid=3200 vsize=28048 CPUtime=2081.59 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 11951 0 3 0 208159 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4969776 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 2081.59
Current children cumulated vsize (KiB) 28048

[startup+2142.3 s]
/proc/loadavg: 2.02 2.04 1.83 3/187 3372
/proc/meminfo: memFree=31572512/32770624 swapFree=7224/422440
[pid=3203] ppid=3200 vsize=28048 CPUtime=2141.56 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 12201 0 3 0 214156 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4977769 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 2141.56
Current children cumulated vsize (KiB) 28048

[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 1.84 3/187 3373
/proc/meminfo: memFree=31572620/32770624 swapFree=7224/422472
[pid=3203] ppid=3200 vsize=28048 CPUtime=2201.55 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 12450 0 3 0 220155 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4970864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 2201.55
Current children cumulated vsize (KiB) 28048

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 1.85 3/187 3374
/proc/meminfo: memFree=31572488/32770624 swapFree=7224/422492
[pid=3203] ppid=3200 vsize=28048 CPUtime=2261.52 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 12701 0 3 0 226152 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4970478 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 2261.52
Current children cumulated vsize (KiB) 28048

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 1.86 3/187 3375
/proc/meminfo: memFree=31572604/32770624 swapFree=7224/422520
[pid=3203] ppid=3200 vsize=28048 CPUtime=2321.5 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 12952 0 3 0 232150 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4971048 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 2321.5
Current children cumulated vsize (KiB) 28048

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 3376
/proc/meminfo: memFree=31572348/32770624 swapFree=7224/422544
[pid=3203] ppid=3200 vsize=28048 CPUtime=2381.49 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 13226 0 3 0 238149 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4977769 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 2381.49
Current children cumulated vsize (KiB) 28048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.9 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 3376
/proc/meminfo: memFree=31572348/32770624 swapFree=7224/422552
[pid=3203] ppid=3200 vsize=28048 CPUtime=2400.08 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 13477 0 3 0 240008 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4977754 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 28048

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 3203 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.9 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 3376
/proc/meminfo: memFree=31572348/32770624 swapFree=7224/422552
[pid=3203] ppid=3200 vsize=28048 CPUtime=2400.08 cores=1,3,5,7
/proc/3203/stat : 3203 (cosoco) R 3200 3203 3157 0 -1 4202496 13477 0 3 0 240008 0 0 0 20 0 1 0 15654939 28721152 1108 33554432000 4194304 5970956 140733611124512 140733611121848 4977754 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14942208 140733611132097 140733611132227 140733611132227 140733611134926 0
/proc/3203/statm: 7012 1108 766 434 0 376 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 28048

Child status: 1
Real time (s): 2400.9
CPU time (s): 2400.09
CPU user time (s): 2400.08
CPU system time (s): 0.006997
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 28048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.006997
maximum resident set size= 4476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13504
page faults= 3
swaps= 0
block input operations= 3320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 120728

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.40732 second user time and 8.15316 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-21 09:56:25
IDJOB=4239922
IDBENCH=115862
IDSOLVER=2620
FILE ID=node126/4239922-1500623785
RUNJOBID= node126-1500623778-3189
PBS_JOBID= 20623007
Free space on /tmp= 61988 MiB

SOLVER NAME= cosoco 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-4239922-1500623785/watcher-4239922-1500623785 -o /tmp/evaluation-result-4239922-1500623785/solver-4239922-1500623785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500623778-3189 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4239922-1500623785.xml

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

MD5SUM BENCH= 83a04d869151a5b67f4c27500757dc69
RANDOM SEED=127381203

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

/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		: 1600.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	: 5334.03
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		: 1600.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		: 1600.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	: 5334.03
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		: 1600.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		: 1600.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	: 5334.03
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		: 1600.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		: 1600.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	: 5334.03
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		: 1600.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:        31586516 kB
MemAvailable:   32019840 kB
Buffers:          154024 kB
Cached:           559652 kB
SwapCached:            0 kB
Active:           334724 kB
Inactive:         430852 kB
Active(anon):      54316 kB
Inactive(anon):     8848 kB
Active(file):     280408 kB
Inactive(file):   422004 kB
Unevictable:        7224 kB
Mlocked:            7224 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2404 kB
Writeback:             0 kB
AnonPages:         58904 kB
Mapped:            31824 kB
Shmem:              8848 kB
Slab:             117776 kB
SReclaimable:      93492 kB
SUnreclaim:        24284 kB
KernelStack:        3168 kB
PageTables:         4748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node126 at 2017-07-21 10:36:26