Trace number 4267251

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco-mini 1.12? (TO) 2400.0801 2400.1101

General information on the benchmark

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

Solver Data 

0.00/0.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -lc -model -restarts HOME/instance-4267251-1502585062.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 361
0.00/0.01	c |            Domain Sizes: 19..19
0.00/0.01	c |
0.00/0.01	c |             Constraints: 108
0.00/0.01	c |                   Arity: 2..19  -- Binary: 4  -- Ternary: 4
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 108
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.09	c 101            469            33665          52683          0              0              163   181   168
0.10/0.16	c 211            979            58280          90827          0              0              36   183   169 
0.20/0.26	c 332            1443           94092          152729         0              0              128   182   169
0.30/0.38	c 465            2198           140474         229055         0              0              158   196   178
0.40/0.51	c 611            2990           191683         307238         0              0              162   209   189
0.60/0.64	c 771            3805           242947         378441         0              0              104   200   189
0.69/0.74	c 947            4458           280289         453086         0              0              158   210   193
0.89/0.95	c 1140           5630           359453         575954         0              0              167   206   185
1.00/1.08	c 1352           6494           409243         662568         0              0              53   202   183 
1.19/1.21	c 1585           7356           461670         741046         0              0              107   202   184
1.39/1.40	c 1841           8452           532871         846910         0              0              163   205   188
1.59/1.63	c 2122           9580           619055         984525         0              0              172   204   186
1.69/1.77	c 2431           10479          675010         1078864        0              0              151   175   161
2.10/2.11	c 2770           11763          799856         1274238        0              0              166   194   179
2.29/2.35	c 3142           13032          890197         1434713        0              0              145   195   178
2.59/2.66	c 3551           14610          1010782        1638698        0              0              169   201   187
2.99/3.03	c 4000           16232          1150825        1860746        0              0              162   191   176
3.29/3.32	c 4493           17727          1260383        2037344        0              0              165   196   183
3.69/3.76	c 5035           19895          1430123        2285361        0              0              165   202   188
4.19/4.28	c 5631           22630          1626952        2589726        0              0              170   200   185
4.88/4.91	c 6286           25081          1860524        2969332        0              0              176   216   199
5.38/5.48	c 7006           27566          2073058        3360812        0              0              119   198   180
5.78/5.82	c 7798           29578          2204330        3615118        0              0              160   191   179
6.48/6.50	c 8669           32594          2460812        4045145        0              0              124   203   184
7.09/7.13	c 9627           35948          2701927        4451826        0              0              153   201   182
7.99/8.08	c 10680          40718          3058230        5017660        0              0              139   201   184
8.99/9.06	c 11838          45178          3418695        5661042        0              0              170   195   184
9.68/9.78	c 13111          48660          3693907        6175021        0              0              167   208   194
10.88/10.95	c 14511          53819          4135746        6928916        0              0              162   203   186
12.18/12.27	c 16051          58614          4621170        7843374        0              0              173   203   188
12.99/13.09	c 17745          63019          4932265        8418459        0              0              161   212   196
14.28/14.30	c 19608          68274          5377715        9290062        0              0              142   199   182
15.78/15.87	c 21657          76108          5975936        10277720       0              0              145   202   183
17.38/17.46	c 23910          83612          6581973        11363308       0              0              160   199   183
19.28/19.34	c 26388          91457          7297195        12573454       0              0              72   205   186 
21.28/21.34	c 29113          101971         8055457        14029451       0              0              168   216   194
23.09/23.12	c 32110          111244         8724617        15303265       0              0              167   217   200
25.58/25.68	c 35406          122215         9684549        16932436       0              0              169   206   188
27.58/27.67	c 39031          132627         10443475       18285010       0              0              141   199   179
30.38/30.47	c 43018          145522         11514347       20235787       0              0              161   207   187
33.18/33.25	c 47403          158300         12553763       22019906       0              0              160   219   192
36.09/36.16	c 52226          171556         13637717       24119844       0              0              165   202   186
39.99/40.02	c 57531          191290         15081063       26712764       0              0              168   218   196
44.58/44.62	c 63366          208425         16772159       29656820       0              0              163   209   181
49.58/49.66	c 69784          234233         18670985       32857943       0              0              102   215   192
55.28/55.30	c 76843          257587         20813908       36742934       0              0              66   207   179 
60.78/60.81	c 84607          283159         22892995       40413114       0              0              159   207   184
64.99/65.02	c 93147          303491         24471413       43620165       0              0              166   207   195
69.58/69.63	c 102541         330242         26226768       46982063       0              0              160   213   188
77.68/77.71	c 112874         368261         29253987       51894199       0              0              124   211   186
84.99/85.06	c 124240         404494         32034439       56730920       0              0              171   216   192
92.88/92.98	c 136742         443958         35035361       62288294       0              0              151   215   189
100.78/100.81	c 150494         480722         37960495       68514221       0              0              162   215   197
112.88/112.96	c 165621         527735         42465947       76562693       0              0              102   221   192
120.18/120.28	c 182260         571253         45289044       81968716       0              0              99   216   197 
129.68/129.70	c 200562         624081         48932816       89394941       0              0              62   203   184 
141.38/141.41	c 220694         683154         53342761       96934662       0              0              159   210   187
152.88/152.94	c 242839         747103         57744010       105544428      0              0              163   209   189
170.38/170.45	c 267198         833754         64319338       117320591      0              0              148   214   188
186.87/186.90	c 293992         911571         70572157       128316080      0              0              150   208   188
204.47/204.51	c 323465         983790         77176592       140614455      0              0              167   206   188
224.87/224.95	c 355885         1091383        84923454       153548171      0              0              125   216   191
250.08/250.20	c 391547         1205705        94419690       170035753      0              0              158   218   190
271.87/271.99	c 430775         1335324        102823425      185197407      0              0              152   203   183
295.57/295.69	c 473925         1435403        111460212      202777725      0              0              77   221   201 
324.47/324.57	c 521390         1569120        122025952      223984957      0              0              167   215   188
349.66/349.71	c 573601         1692220        131640499      241966802      0              0              165   209   190
388.16/388.20	c 631033         1884731        146339297      267554488      0              0              93   212   183 
429.86/429.94	c 694208         2109408        162269233      293262648      0              0              142   220   181
459.35/459.43	c 763700         2250330        172928844      316043967      0              0              138   220   201
518.15/518.28	c 840141         2516511        195019126      356321491      0              0              165   218   189
560.45/560.52	c 924226         2735395        210525655      391832657      0              0              161   222   201
621.74/621.85	c 1016719        2980117        233573552      434191937      0              0              161   218   194
694.34/694.45	c 1118461        3290064        260728719      484332042      0              0              163   220   194
760.24/760.33	c 1230377        3587571        285952947      529801619      0              0              154   206   182
844.64/844.72	c 1353484        3952937        317946358      587004699      0              0              148   212   186
914.64/914.73	c 1488901        4298747        344604999      636750103      0              0              155   220   198
970.95/971.01	c 1637859        4630578        366061363      685915132      0              0              106   216   193
1051.24/1051.32	c 1801712        5074896        396909983      744616630      0              0              162   226   194
1143.64/1143.70	c 1981950        5517141        432391019      813028164      0              0              66   220   188 
1207.84/1207.91	c 2180211        5996766        456751792      863747212      0              0              134   219   191
1331.64/1331.78	c 2398298        6590340        504348783      943417779      0              0              143   222   192
1437.75/1437.86	c 2638193        7176039        544518963      1029411189     0              0              161   230   200
1595.35/1595.43	c 2902077        7912878        604283062      1137549518     0              0              156   215   190
1739.85/1739.99	c 3192349        8656634        659530081      1235502356     0              0              139   228   199
1961.76/1961.85	c 3511648        9610317        744644494      1384731698     0              0              122   220   188
2098.26/2098.36	c 3862876        10456321       794687008      1495812402     0              0              163   219   200
2351.97/2352.08	c 4249226        11700151       890936514      1672433529     0              0              156   218   189
2400.07/2400.10	
2400.07/2400.10	c *** INTERRUPTED ***
2400.07/2400.10	c restarts              : 88          
2400.07/2400.10	c conflicts             : 4337598      (1807 /sec)
2400.07/2400.10	c decisions             : 11980134     (4992 /sec)
2400.07/2400.10	c propagations          : 1701602498  (708985 /sec)
2400.07/2400.10	c root propagations     : 0           
2400.07/2400.10	c filter calls          : 909243336      (378843 /sec)
2400.07/2400.10	c useless filter calls  : 472547315      (51 %)
2400.07/2400.10	c Memory used           : 27.18 MB
2400.07/2400.10	c CPU time              : 2400.05 s
2400.07/2400.10	
2400.07/2400.10	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13402 MiB free)
  memory of node 1: 16384 MiB (13940 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267251-1502585062/watcher-4267251-1502585062 -o /tmp/evaluation-result-4267251-1502585062/solver-4267251-1502585062 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502584201-30906 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267251-1502585062.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=31180, runsolver pid=31177

[startup+0.100422 s]*
/proc/loadavg: 0.64 0.82 0.87 3/190 31181
/proc/meminfo: memFree=27997516/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27700 memory=4092 CPUtime=0.1 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 1227 0 0 0 10 0 0 0 20 0 1 0 91587088 28364800 1023 33554432000 4194304 5748600 140726729175072 140726729172472 140168935070693 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6925 1023 752 380 0 343 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 4092 KiB

[startup+0.20929 s]*
/proc/loadavg: 0.64 0.82 0.87 3/190 31181
/proc/meminfo: memFree=27997516/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27700 memory=4092 CPUtime=0.2 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 1241 0 0 0 20 0 0 0 20 0 1 0 91587088 28364800 1023 33554432000 4194304 5748600 140726729175072 140726729172472 4917999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6925 1023 752 380 0 343 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 4092 KiB

[startup+0.308991 s]*
/proc/loadavg: 0.64 0.82 0.87 3/190 31181
/proc/meminfo: memFree=27997516/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27700 memory=4092 CPUtime=0.3 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 1242 0 0 0 30 0 0 0 20 0 1 0 91587088 28364800 1023 33554432000 4194304 5748600 140726729175072 140726729172472 4919387 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6925 1023 752 380 0 343 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 4092 KiB

[startup+0.700236 s]
/proc/loadavg: 0.64 0.82 0.87 3/190 31181
/proc/meminfo: memFree=27997516/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27700 memory=4092 CPUtime=0.69 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 1250 0 0 0 69 0 0 0 20 0 1 0 91587088 28364800 1023 33554432000 4194304 5748600 140726729175072 140726729172472 4912936 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6925 1023 752 380 0 343 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 4092 KiB

[startup+1.50024 s]
/proc/loadavg: 0.64 0.82 0.87 3/190 31181
/proc/meminfo: memFree=27997516/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27700 memory=4092 CPUtime=1.49 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 1251 0 0 0 149 0 0 0 20 0 1 0 91587088 28364800 1023 33554432000 4194304 5748600 140726729175072 140726729172472 4912048 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6925 1023 752 380 0 343 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 4092 KiB

[startup+3.10904 s]
/proc/loadavg: 0.67 0.83 0.87 3/190 31181
/proc/meminfo: memFree=27997636/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27700 memory=4360 CPUtime=3.09 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 1520 0 0 0 309 0 0 0 20 0 1 0 91587088 28364800 1090 33554432000 4194304 5748600 140726729175072 140726729172472 4911199 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6925 1090 754 380 0 343 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 4360 KiB

[startup+6.30023 s]
/proc/loadavg: 0.67 0.83 0.87 3/190 31181
/proc/meminfo: memFree=27997808/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27700 memory=4360 CPUtime=6.28 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 1790 0 0 0 628 0 0 0 20 0 1 0 91587088 28364800 1090 33554432000 4194304 5748600 140726729175072 140726729172472 5130111 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6925 1090 754 380 0 343 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 4360 KiB

[startup+12.7002 s]
/proc/loadavg: 0.78 0.85 0.88 3/190 31181
/proc/meminfo: memFree=27998056/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4360 CPUtime=12.68 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 2060 0 0 0 1268 0 0 0 20 0 1 0 91587088 28499968 1090 33554432000 4194304 5748600 140726729175072 140726729172472 4915308 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1090 754 380 0 376 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4360 KiB

[startup+25.5002 s]
/proc/loadavg: 1.05 0.90 0.89 3/189 31181
/proc/meminfo: memFree=27998724/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4364 CPUtime=25.48 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 2598 0 0 0 2548 0 0 0 20 0 1 0 91587088 28499968 1091 33554432000 4194304 5748600 140726729175072 140726729172472 4915821 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1091 754 380 0 376 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4364 KiB

[startup+51.1089 s]
/proc/loadavg: 1.37 0.99 0.92 3/188 31181
/proc/meminfo: memFree=27999296/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4368 CPUtime=51.08 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 2870 0 0 0 5108 0 0 0 20 0 1 0 91587088 28499968 1092 33554432000 4194304 5748600 140726729175072 140726729172472 4915893 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1092 754 380 0 376 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4368 KiB

[startup+102.3 s]
/proc/loadavg: 1.73 1.15 0.98 3/188 31182
/proc/meminfo: memFree=27999508/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4368 CPUtime=102.28 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 3140 0 0 0 10227 1 0 0 20 0 1 0 91587088 28499968 1092 33554432000 4194304 5748600 140726729175072 140726729172472 4915808 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1092 754 380 0 376 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4368 KiB

[startup+162.3 s]
/proc/loadavg: 1.90 1.30 1.04 3/188 31183
/proc/meminfo: memFree=27999304/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4372 CPUtime=162.28 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 3412 0 0 0 16227 1 0 0 20 0 1 0 91587088 28499968 1093 33554432000 4194304 5748600 140726729175072 140726729172472 4917840 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1093 754 380 0 376 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4372 KiB

[startup+222.3 s]
/proc/loadavg: 1.96 1.43 1.10 3/188 31184
/proc/meminfo: memFree=27998972/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4372 CPUtime=222.27 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 3683 0 0 0 22226 1 0 0 20 0 1 0 91587088 28499968 1093 33554432000 4194304 5748600 140726729175072 140726729172472 4915336 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1093 754 380 0 376 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4372 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.53 1.16 3/188 31185
/proc/meminfo: memFree=27999096/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4372 CPUtime=282.27 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 3954 0 0 0 28226 1 0 0 20 0 1 0 91587088 28499968 1093 33554432000 4194304 5748600 140726729175072 140726729172472 5131153 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1093 754 380 0 376 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4372 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.62 1.21 3/187 31186
/proc/meminfo: memFree=27999316/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4376 CPUtime=342.26 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 4227 0 0 0 34225 1 0 0 20 0 1 0 91587088 28499968 1094 33554432000 4194304 5748600 140726729175072 140726729172472 4912048 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1094 754 380 0 376 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4376 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.69 1.26 3/187 31187
/proc/meminfo: memFree=27999260/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4376 CPUtime=402.26 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 4499 0 0 0 40225 1 0 0 20 0 1 0 91587088 28499968 1094 33554432000 4194304 5748600 140726729175072 140726729172472 4917915 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1094 754 380 0 376 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4376 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.74 1.31 3/187 31188
/proc/meminfo: memFree=27999544/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4376 CPUtime=462.25 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 4772 0 0 0 46224 1 0 0 20 0 1 0 91587088 28499968 1094 33554432000 4194304 5748600 140726729175072 140726729172472 4919126 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1094 754 380 0 376 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4376 KiB


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

/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 1662.25 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/187 31250
/proc/meminfo: memFree=27999320/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=1722.25 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 10341 0 0 0 172223 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4919055 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/187 31251
/proc/meminfo: memFree=27999540/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=1782.25 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 10614 0 0 0 178223 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4917991 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/187 31259
/proc/meminfo: memFree=27998704/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=1842.25 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 10865 0 0 0 184223 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4911693 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/188 31282
/proc/meminfo: memFree=27997960/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=1902.25 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 11115 0 0 0 190223 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4916176 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/188 31283
/proc/meminfo: memFree=27998392/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=1962.26 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 11388 0 0 0 196224 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4917780 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/188 31284
/proc/meminfo: memFree=27998424/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=2022.26 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 11639 0 0 0 202224 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4918945 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/188 31285
/proc/meminfo: memFree=27998620/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=2082.26 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 11888 0 0 0 208224 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4915511 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/188 31286
/proc/meminfo: memFree=27998532/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=2142.26 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 12162 0 0 0 214224 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4915308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/188 31287
/proc/meminfo: memFree=27998580/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=2202.26 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 12411 0 0 0 220224 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4917897 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/188 31288
/proc/meminfo: memFree=27998488/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=2262.26 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 12661 0 0 0 226224 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4917920 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/188 31289
/proc/meminfo: memFree=27998408/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=2322.26 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 12912 0 0 0 232224 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4912311 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/188 31290
/proc/meminfo: memFree=27998276/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=2382.26 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 13185 0 0 0 238224 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4915322 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.00 1.99 1.91 3/188 31295
/proc/meminfo: memFree=27997424/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=2400.07 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 13435 0 0 0 240005 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4911835 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

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

[startup+2400.11 s]
# the end of solver process 31180 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.05 s, system=0.025999 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.11 s]
/proc/loadavg: 2.00 1.99 1.91 3/188 31295
/proc/meminfo: memFree=27997424/32770624 swapFree=67108860/67108860
[pid=31180] ppid=31177 vsize=27832 memory=4384 CPUtime=2400.07 cores=0,2,4,6
/proc/31180/stat : 31180 (cosoco) R 31177 31180 4387 0 -1 4202496 13435 0 0 0 240005 2 0 0 20 0 1 0 91587088 28499968 1096 33554432000 4194304 5748600 140726729175072 140726729172472 4911835 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 12488704 140726729180351 140726729180446 140726729180446 140726729183182 0
/proc/31180/statm: 6958 1096 754 380 0 376 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 27832 KiB
Current children cumulated memory: 4384 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.08
CPU user time (s): 2400.05
CPU system time (s): 0.025999
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 27832
Max. memory (cumulated for all children) (KiB): 4384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.025999
maximum resident set size= 4456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13486
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= 3538


# summary of solver processes directly reported to runsolver:
#   pid: 31180
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2400.05
#   total CPU system time (s): 0.025999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.15288 second user time and 15.3062 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-13 02:30:03
IDJOB=4267251
IDBENCH=115862
IDSOLVER=2657
FILE ID=node149/4267251-1502585062
RUNJOBID= node149-1502584201-30906
PBS_JOBID= 20628293
Free space on /tmp= 61932 MiB

SOLVER NAME= cosoco-mini 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-4267251-1502585062/watcher-4267251-1502585062 -o /tmp/evaluation-result-4267251-1502585062/solver-4267251-1502585062 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502584201-30906 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4267251-1502585062.xml

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

MD5SUM BENCH= 83a04d869151a5b67f4c27500757dc69
RANDOM SEED=535786255

node149.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:        27998928 kB
MemAvailable:   31971784 kB
Buffers:          238816 kB
Cached:          4007980 kB
SwapCached:            0 kB
Active:          1036204 kB
Inactive:        3265336 kB
Active(anon):      57576 kB
Inactive(anon):    24944 kB
Active(file):     978628 kB
Inactive(file):  3240392 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5812 kB
Writeback:             4 kB
AnonPages:         61088 kB
Mapped:            44416 kB
Shmem:             25224 kB
Slab:             166300 kB
SReclaimable:     139344 kB
SUnreclaim:        26956 kB
KernelStack:        3312 kB
PageTables:         4928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351756 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:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61932 MiB
End job on node149 at 2017-08-13 03:10:04