Trace number 4267946

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 1.12? (TO) 2519.97 2520

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.14	c root propagations     : 0           
0.00/0.14	c restarts enabled, print stats at every restarts
0.00/0.14	c
0.00/0.14	c
0.00/0.14	c
0.00/0.14	c This is cosoco 1.12 --  
0.00/0.14	c
0.00/0.14	c command line: cosoco -lc -model -restarts HOME/instance-4267946-1502504264.xml 
0.00/0.14	c ========================================[ Problem Statistics ]===========================================
0.00/0.14	c |                                                                                                       
0.00/0.14	c |  Parse time        :         0.01 s 
0.00/0.14	c |
0.00/0.14	c |               Variables: 361
0.00/0.14	c |            Domain Sizes: 19..19
0.00/0.14	c |
0.00/0.14	c |             Constraints: 108
0.00/0.14	c |                   Arity: 2..19  -- Binary: 4  -- Ternary: 4
0.00/0.14	c | 
0.00/0.14	c |                   Types: 
0.00/0.14	c |                          All Different: 108
0.00/0.14	c |                          
0.00/0.14	c =========================================================================================================
0.00/0.14	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.06/0.22	c 101            469            33665          52683          0              0              163   181   168
0.06/0.29	c 211            979            58280          90827          0              0              36   183   169 
0.16/0.38	c 332            1443           94092          152729         0              0              128   182   169
0.36/0.51	c 465            2198           140474         229055         0              0              158   196   178
0.46/0.64	c 611            2990           191683         307238         0              0              162   209   189
0.56/0.77	c 771            3805           242947         378441         0              0              104   200   189
0.66/0.87	c 947            4458           280289         453086         0              0              158   210   193
0.86/1.08	c 1140           5630           359453         575954         0              0              167   206   185
1.07/1.21	c 1352           6494           409243         662568         0              0              53   202   183 
1.16/1.34	c 1585           7356           461670         741046         0              0              107   202   184
1.36/1.53	c 1841           8452           532871         846910         0              0              163   205   188
1.56/1.75	c 2122           9580           619055         984525         0              0              172   204   186
1.76/1.90	c 2431           10479          675010         1078864        0              0              151   175   161
2.07/2.24	c 2770           11763          799856         1274238        0              0              166   194   179
2.26/2.47	c 3142           13032          890197         1434713        0              0              145   195   178
2.56/2.79	c 3551           14610          1010782        1638698        0              0              169   201   187
2.96/3.16	c 4000           16232          1150825        1860746        0              0              162   191   176
3.27/3.45	c 4493           17727          1260383        2037344        0              0              165   196   183
3.66/3.89	c 5035           19895          1430123        2285361        0              0              165   202   188
4.27/4.41	c 5631           22630          1626952        2589726        0              0              170   200   185
4.86/5.04	c 6286           25081          1860524        2969332        0              0              176   216   199
5.47/5.61	c 7006           27566          2073058        3360812        0              0              119   198   180
5.76/5.95	c 7798           29578          2204330        3615118        0              0              160   191   179
6.47/6.62	c 8669           32594          2460812        4045145        0              0              124   203   184
7.06/7.26	c 9627           35948          2701927        4451826        0              0              153   201   182
8.06/8.20	c 10680          40718          3058230        5017660        0              0              139   201   184
8.96/9.18	c 11838          45178          3418695        5661042        0              0              170   195   184
9.77/9.91	c 13111          48660          3693907        6175021        0              0              167   208   194
10.87/11.07	c 14511          53819          4135746        6928916        0              0              162   203   186
12.16/12.39	c 16051          58614          4621170        7843374        0              0              173   203   188
13.07/13.21	c 17745          63019          4932265        8418459        0              0              161   212   196
14.27/14.43	c 19608          68274          5377715        9290062        0              0              142   199   182
15.86/16.00	c 21657          76108          5975936        10277720       0              0              145   202   183
17.36/17.58	c 23910          83612          6581973        11363308       0              0              160   199   183
19.26/19.47	c 26388          91457          7297195        12573454       0              0              72   205   186 
21.26/21.47	c 29113          101971         8055457        14029451       0              0              168   216   194
23.07/23.25	c 32110          111244         8724617        15303265       0              0              167   217   200
25.66/25.82	c 35406          122215         9684549        16932436       0              0              169   206   188
27.66/27.81	c 39031          132627         10443475       18285010       0              0              141   199   179
30.46/30.61	c 43018          145522         11514347       20235787       0              0              161   207   187
33.16/33.38	c 47403          158300         12553763       22019906       0              0              160   219   192
36.06/36.29	c 52226          171556         13637717       24119844       0              0              165   202   186
39.96/40.15	c 57531          191290         15081063       26712764       0              0              168   218   196
44.56/44.74	c 63366          208425         16772159       29656820       0              0              163   209   181
49.56/49.79	c 69784          234233         18670985       32857943       0              0              102   215   192
55.26/55.45	c 76843          257587         20813908       36742934       0              0              66   207   179 
60.76/60.95	c 84607          283159         22892995       40413114       0              0              159   207   184
64.96/65.17	c 93147          303491         24471413       43620165       0              0              166   207   195
69.66/69.80	c 102541         330242         26226768       46982063       0              0              160   213   188
77.67/77.88	c 112874         368261         29253987       51894199       0              0              124   211   186
85.07/85.25	c 124240         404494         32034439       56730920       0              0              171   216   192
93.07/93.20	c 136742         443958         35035361       62288294       0              0              151   215   189
100.87/101.04	c 150494         480722         37960495       68514221       0              0              162   215   197
113.07/113.20	c 165621         527735         42465947       76562693       0              0              102   221   192
120.37/120.53	c 182260         571253         45289044       81968716       0              0              99   216   197 
129.77/129.96	c 200562         624081         48932816       89394941       0              0              62   203   184 
141.47/141.63	c 220694         683154         53342761       96934662       0              0              159   210   187
152.97/153.15	c 242839         747103         57744010       105544428      0              0              163   209   189
170.57/170.70	c 267198         833754         64319338       117320591      0              0              148   214   188
186.97/187.15	c 293992         911571         70572157       128316080      0              0              150   208   188
204.58/204.77	c 323465         983790         77176592       140614455      0              0              167   206   188
224.97/225.16	c 355885         1091383        84923454       153548171      0              0              125   216   191
250.17/250.37	c 391547         1205705        94419690       170035753      0              0              158   218   190
271.97/272.15	c 430775         1335324        102823425      185197407      0              0              152   203   183
295.67/295.80	c 473925         1435403        111460212      202777725      0              0              77   221   201 
324.48/324.69	c 521390         1569120        122025952      223984957      0              0              167   215   188
349.58/349.74	c 573601         1692220        131640499      241966802      0              0              165   209   190
388.18/388.34	c 631033         1884731        146339297      267554488      0              0              93   212   183 
429.78/429.99	c 694208         2109408        162269233      293262648      0              0              142   220   181
459.28/459.42	c 763700         2250330        172928844      316043967      0              0              138   220   201
518.09/518.29	c 840141         2516511        195019126      356321491      0              0              165   218   189
560.18/560.35	c 924226         2735395        210525655      391832657      0              0              161   222   201
621.59/621.78	c 1016719        2980117        233573552      434191937      0              0              161   218   194
694.39/694.52	c 1118461        3290064        260728719      484332042      0              0              163   220   194
760.49/760.66	c 1230377        3587571        285952947      529801619      0              0              154   206   182
845.30/845.44	c 1353484        3952937        317946358      587004699      0              0              148   212   186
915.60/915.73	c 1488901        4298747        344604999      636750103      0              0              155   220   198
972.31/972.45	c 1637859        4630578        366061363      685915132      0              0              106   216   193
1053.10/1053.26	c 1801712        5074896        396909983      744616630      0              0              162   226   194
1146.31/1146.42	c 1981950        5517141        432391019      813028164      0              0              66   220   188 
1211.01/1211.17	c 2180211        5996766        456751792      863747212      0              0              134   219   191
1336.01/1336.14	c 2398298        6590340        504348783      943417779      0              0              143   222   192
1442.52/1442.69	c 2638193        7176039        544518963      1029411189     0              0              161   230   200
1601.12/1601.27	c 2902077        7912878        604283062      1137549518     0              0              156   215   190
1746.63/1746.77	c 3192349        8656634        659530081      1235502356     0              0              139   228   199
1969.54/1969.69	c 3511648        9610317        744644494      1384731698     0              0              122   220   188
2106.24/2106.35	c 3862876        10456321       794687008      1495812402     0              0              163   219   200
2362.15/2362.29	c 4249226        11700151       890936514      1672433529     0              0              156   218   189
2519.96/2520.00	
2519.96/2520.00	c *** INTERRUPTED ***
2519.96/2520.00	c restarts              : 88          
2519.96/2520.00	c conflicts             : 4516553      (1792 /sec)
2519.96/2520.00	c decisions             : 12589584     (4996 /sec)
2519.96/2520.00	c propagations          : 1767241236  (701296 /sec)
2519.96/2520.00	c root propagations     : 0           
2519.96/2520.00	c filter calls          : 951035179      (377400 /sec)
2519.96/2520.00	c useless filter calls  : 494885591      (52 %)
2519.96/2520.00	c Memory used           : 27.40 MB
2519.96/2520.00	c CPU time              : 2519.96 s
2519.96/2520.00	
2519.96/2520.00	s UNKNOWN

Verifier Data


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-4267946-1502504264/watcher-4267946-1502504264 -o /tmp/evaluation-result-4267946-1502504264/solver-4267946-1502504264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24508 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267946-1502504264.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 1/181 25243
/proc/meminfo: memFree=31000596/32770624 swapFree=0/581824
[pid=25243] ppid=25240 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25243/stat : 25243 (runsolver) D 25240 25243 24445 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 97932698 24240128 108 18446744073709551615 4194304 4338465 140721160933280 140721160930920 140709397463767 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 24350720 140721160937665 140721160938057 140721160938057 140721160941514 0
/proc/25243/statm: 5918 108 54 36 0 2156 0

[startup+0.100169 s]
/proc/loadavg: 0.00 0.01 0.05 1/181 25243
/proc/meminfo: memFree=31000596/32770624 swapFree=0/581824
[pid=25243] ppid=25240 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25243/stat : 25243 (runsolver) D 25240 25243 24445 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 97932698 24240128 108 18446744073709551615 4194304 4338465 140721160933280 140721160930920 140709397463767 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 24350720 140721160937665 140721160938057 140721160938057 140721160941514 0
/proc/25243/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200297 s]
/proc/loadavg: 0.00 0.01 0.05 1/181 25243
/proc/meminfo: memFree=31000596/32770624 swapFree=0/581824
[pid=25243] ppid=25240 vsize=27920 CPUtime=0.06 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 1232 0 0 0 6 0 0 0 20 0 1 0 97932698 28590080 1030 18446744073709551615 4194304 5972588 140736088647216 140736088643864 5099648 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 6980 1030 767 435 0 343 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27920

[startup+0.300304 s]
/proc/loadavg: 0.00 0.01 0.05 1/181 25243
/proc/meminfo: memFree=31000596/32770624 swapFree=0/581824
[pid=25243] ppid=25240 vsize=27920 CPUtime=0.16 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 1250 0 0 0 16 0 0 0 20 0 1 0 97932698 28590080 1030 18446744073709551615 4194304 5972588 140736088647216 140736088643864 4971544 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 6980 1030 767 435 0 343 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 27920

[startup+0.70028 s]
/proc/loadavg: 0.00 0.01 0.05 1/181 25243
/proc/meminfo: memFree=31000596/32770624 swapFree=0/581824
[pid=25243] ppid=25240 vsize=27920 CPUtime=0.56 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 1259 0 0 0 56 0 0 0 20 0 1 0 97932698 28590080 1096 18446744073709551615 4194304 5972588 140736088647216 140736088643864 4975704 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 6980 1096 769 435 0 343 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 27920

[startup+1.5003 s]
/proc/loadavg: 0.00 0.01 0.05 2/182 25279
/proc/meminfo: memFree=30999224/32770624 swapFree=0/581896
[pid=25243] ppid=25240 vsize=27920 CPUtime=1.36 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 1263 0 0 0 136 0 0 0 20 0 1 0 97932698 28590080 1096 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975730 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 6980 1096 769 435 0 343 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 27920

[startup+3.10028 s]
/proc/loadavg: 0.00 0.01 0.05 3/186 25296
/proc/meminfo: memFree=30978780/32770624 swapFree=0/581836
[pid=25243] ppid=25240 vsize=27920 CPUtime=2.96 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 1532 0 0 0 296 0 0 0 20 0 1 0 97932698 28590080 1105 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4979378 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 6980 1105 769 435 0 343 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 27920

[startup+6.30028 s]
/proc/loadavg: 0.00 0.01 0.05 3/186 25296
/proc/meminfo: memFree=30959380/32770624 swapFree=0/581844
[pid=25243] ppid=25240 vsize=27920 CPUtime=6.16 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 1801 0 0 0 616 0 0 0 20 0 1 0 97932698 28590080 1105 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4978749 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 6980 1105 769 435 0 343 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 27920

[startup+12.7003 s]
/proc/loadavg: 0.08 0.03 0.05 3/186 25296
/proc/meminfo: memFree=30956364/32770624 swapFree=0/581840
[pid=25243] ppid=25240 vsize=27920 CPUtime=12.56 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 2070 0 0 0 1256 0 0 0 20 0 1 0 97932698 28590080 1105 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4978058 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 6980 1105 769 435 0 343 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 27920

[startup+25.5003 s]
/proc/loadavg: 0.51 0.13 0.08 3/186 25296
/proc/meminfo: memFree=30957244/32770624 swapFree=0/581840
[pid=25243] ppid=25240 vsize=28052 CPUtime=25.36 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 2611 0 0 0 2536 0 0 0 20 0 1 0 97932698 28725248 1106 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4978851 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1106 769 435 0 376 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 28052

[startup+51.1003 s]
/proc/loadavg: 1.02 0.28 0.13 3/186 25297
/proc/meminfo: memFree=30956940/32770624 swapFree=0/581816
[pid=25243] ppid=25240 vsize=28052 CPUtime=50.96 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 2883 0 0 0 5096 0 0 0 20 0 1 0 97932698 28725248 1107 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975114 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1107 769 435 0 376 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 28052

[startup+102.3 s]
/proc/loadavg: 1.57 0.55 0.23 3/186 25300
/proc/meminfo: memFree=30957200/32770624 swapFree=0/581836
[pid=25243] ppid=25240 vsize=28052 CPUtime=102.17 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 3154 0 0 0 10217 0 0 0 20 0 1 0 97932698 28725248 1107 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975598 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1107 769 435 0 376 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 28052

[startup+162.3 s]
/proc/loadavg: 1.89 0.82 0.35 3/186 25302
/proc/meminfo: memFree=30957376/32770624 swapFree=0/581856
[pid=25243] ppid=25240 vsize=28052 CPUtime=162.17 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 3427 0 0 0 16217 0 0 0 20 0 1 0 97932698 28725248 1108 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4977992 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1108 769 435 0 376 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 28052

[startup+222.306 s]
/proc/loadavg: 1.96 1.04 0.45 3/186 25304
/proc/meminfo: memFree=30957484/32770624 swapFree=0/581868
[pid=25243] ppid=25240 vsize=28052 CPUtime=222.18 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 3699 0 0 0 22218 0 0 0 20 0 1 0 97932698 28725248 1108 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4977753 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1108 769 435 0 376 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 28052

[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.55 3/185 25306
/proc/meminfo: memFree=30957504/32770624 swapFree=0/581888
[pid=25243] ppid=25240 vsize=28052 CPUtime=282.17 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 3971 0 0 0 28217 0 0 0 20 0 1 0 97932698 28725248 1108 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4971042 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1108 769 435 0 376 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 28052

[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/186 25309
/proc/meminfo: memFree=30957260/32770624 swapFree=0/581892
[pid=25243] ppid=25240 vsize=28052 CPUtime=342.18 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 3971 0 0 0 34218 0 0 0 20 0 1 0 97932698 28725248 1108 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975143 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1108 769 435 0 376 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 28052

[startup+402.3 s]
/proc/loadavg: 2.00 1.47 0.72 3/188 25325
/proc/meminfo: memFree=30952332/32770624 swapFree=0/581872
[pid=25243] ppid=25240 vsize=28052 CPUtime=402.18 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 4243 0 0 0 40218 0 0 0 20 0 1 0 97932698 28725248 1108 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975726 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1108 769 435 0 376 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 28052

[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.80 3/188 25327
/proc/meminfo: memFree=30952268/32770624 swapFree=0/581888
[pid=25243] ppid=25240 vsize=28052 CPUtime=462.18 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 4516 0 0 0 46218 0 0 0 20 0 1 0 97932698 28725248 1108 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4977536 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1108 769 435 0 376 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 28052

[startup+522.3 s]
/proc/loadavg: 2.00 1.65 0.88 3/185 25329
/proc/meminfo: memFree=30956028/32770624 swapFree=0/581904
[pid=25243] ppid=25240 vsize=28052 CPUtime=522.18 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 4516 0 0 0 52218 0 0 0 20 0 1 0 97932698 28725248 1108 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975696 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1108 769 435 0 376 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 28052

[startup+582.3 s]
/proc/loadavg: 2.06 1.73 0.95 3/186 25332
/proc/meminfo: memFree=30955764/32770624 swapFree=0/581908
[pid=25243] ppid=25240 vsize=28052 CPUtime=582.18 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 4789 0 0 0 58218 0 0 0 20 0 1 0 97932698 28725248 1109 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975776 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1109 769 435 0 376 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 28052


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


[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/190 25403
/proc/meminfo: memFree=30951960/32770624 swapFree=0/582084
[pid=25243] ppid=25240 vsize=28052 CPUtime=1602.22 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 7772 0 0 0 160222 0 0 0 20 0 1 0 97932698 28725248 1109 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4978745 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1109 769 435 0 376 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 28052

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/190 25405
/proc/meminfo: memFree=30951996/32770624 swapFree=0/582092
[pid=25243] ppid=25240 vsize=28052 CPUtime=1662.23 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 7773 0 0 0 166223 0 0 0 20 0 1 0 97932698 28725248 1109 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4977689 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1109 769 435 0 376 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 28052

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/187 25407
/proc/meminfo: memFree=30955020/32770624 swapFree=0/582100
[pid=25243] ppid=25240 vsize=28052 CPUtime=1722.23 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 8024 0 0 0 172223 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4979090 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 28052

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.73 3/187 25409
/proc/meminfo: memFree=30954656/32770624 swapFree=0/582112
[pid=25243] ppid=25240 vsize=28052 CPUtime=1782.23 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 8298 0 0 0 178223 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4978710 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 28052

[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 1.74 3/186 25411
/proc/meminfo: memFree=30955012/32770624 swapFree=0/582124
[pid=25243] ppid=25240 vsize=28052 CPUtime=1842.23 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 8298 0 0 0 184223 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4979111 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 28052

[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 1.76 3/185 25414
/proc/meminfo: memFree=30954780/32770624 swapFree=0/582140
[pid=25243] ppid=25240 vsize=28052 CPUtime=1902.24 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 8550 0 0 0 190224 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4977653 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 1902.24
Current children cumulated vsize (KiB) 28052

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/185 25416
/proc/meminfo: memFree=30955036/32770624 swapFree=0/582152
[pid=25243] ppid=25240 vsize=28052 CPUtime=1962.24 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 8802 0 0 0 196224 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975114 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 28052

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/185 25418
/proc/meminfo: memFree=30954788/32770624 swapFree=0/582160
[pid=25243] ppid=25240 vsize=28052 CPUtime=2022.24 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 8824 0 0 0 202224 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4908847 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 28052

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/185 25421
/proc/meminfo: memFree=30955656/32770624 swapFree=0/582172
[pid=25243] ppid=25240 vsize=28052 CPUtime=2082.25 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 9078 0 0 0 208225 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4977541 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 2082.25
Current children cumulated vsize (KiB) 28052

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/186 25424
/proc/meminfo: memFree=30955112/32770624 swapFree=0/582172
[pid=25243] ppid=25240 vsize=28052 CPUtime=2142.25 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 9352 0 0 0 214225 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4978119 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 2142.25
Current children cumulated vsize (KiB) 28052

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.82 3/189 25441
/proc/meminfo: memFree=30950816/32770624 swapFree=0/582204
[pid=25243] ppid=25240 vsize=28052 CPUtime=2202.25 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 9352 0 0 0 220225 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975114 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 28052

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/189 25443
/proc/meminfo: memFree=30950692/32770624 swapFree=0/582224
[pid=25243] ppid=25240 vsize=28052 CPUtime=2262.25 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 9603 0 0 0 226225 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4972832 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 2262.25
Current children cumulated vsize (KiB) 28052

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/186 25445
/proc/meminfo: memFree=30954216/32770624 swapFree=0/582236
[pid=25243] ppid=25240 vsize=28052 CPUtime=2322.25 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 9858 0 0 0 232225 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4977689 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 2322.25
Current children cumulated vsize (KiB) 28052

[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 1.86 3/186 25448
/proc/meminfo: memFree=30953916/32770624 swapFree=0/582248
[pid=25243] ppid=25240 vsize=28052 CPUtime=2382.25 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 9879 0 0 0 238225 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4971912 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 2382.25
Current children cumulated vsize (KiB) 28052

[startup+2442.3 s]
/proc/loadavg: 2.01 2.01 1.87 3/186 25450
/proc/meminfo: memFree=30954192/32770624 swapFree=0/582260
[pid=25243] ppid=25240 vsize=28052 CPUtime=2442.26 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 10129 0 0 0 244226 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 5099648 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 2442.26
Current children cumulated vsize (KiB) 28052

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/185 25452
/proc/meminfo: memFree=30954460/32770624 swapFree=0/582272
[pid=25243] ppid=25240 vsize=28052 CPUtime=2502.26 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 10381 0 0 0 250226 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975647 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 2502.26
Current children cumulated vsize (KiB) 28052



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 1.88 3/185 25452
/proc/meminfo: memFree=30954460/32770624 swapFree=0/582268
[pid=25243] ppid=25240 vsize=28052 CPUtime=2519.96 cores=0,2,4,6
/proc/25243/stat : 25243 (cosoco) R 25240 25243 24445 0 -1 4202496 10381 0 0 0 251996 0 0 0 20 0 1 0 97932698 28725248 1110 18446744073709551615 4194304 5972588 140736088647216 140736088644520 4975305 0 0 1 8405026 0 0 0 17 4 0 0 13 0 0 8070896 8075904 11870208 140736088654318 140736088654413 140736088654413 140736088657870 0
/proc/25243/statm: 7013 1110 769 435 0 376 0
Current children cumulated CPU time (s) 2519.96
Current children cumulated vsize (KiB) 28052

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

Child status: 1
Real time (s): 2520
CPU time (s): 2519.97
CPU user time (s): 2519.97
CPU system time (s): 0.004
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 28052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.97
system time used= 0.004
maximum resident set size= 4516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10433
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= 6
involuntary context switches= 632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00345 second user time and 8.99469 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-12 04:03:48
IDJOB=4267946
IDBENCH=115862
IDSOLVER=2658
FILE ID=node134/4267946-1502504264
RUNJOBID= node134-1502500343-24508
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-19.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267946-1502504264/watcher-4267946-1502504264 -o /tmp/evaluation-result-4267946-1502504264/solver-4267946-1502504264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24508 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267946-1502504264.xml

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

MD5SUM BENCH= 83a04d869151a5b67f4c27500757dc69
RANDOM SEED=285251581

node134.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.43
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.43
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.43
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.43
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:        31000616 kB
MemAvailable:   31972004 kB
Buffers:          298348 kB
Cached:           973960 kB
SwapCached:            0 kB
Active:           708700 kB
Inactive:         621232 kB
Active(anon):      59856 kB
Inactive(anon):    39408 kB
Active(file):     648844 kB
Inactive(file):   581824 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4864 kB
Writeback:             0 kB
AnonPages:         57772 kB
Mapped:            52544 kB
Shmem:             41660 kB
Slab:             139340 kB
SReclaimable:     113108 kB
SUnreclaim:        26232 kB
KernelStack:        3312 kB
PageTables:         4948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     315664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node134 at 2017-08-12 04:45:48