Trace number 4242536

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco 1.1? (TO) 2400.09 2400.8

General information on the benchmark

NameKnightTour/KnightTour-ext-s1/
KnightTour-16-ext02.xml
MD5SUM8abff29310eab5a4cd6a8102cf358f32
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 variables256
Number of constraints258
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":256}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":254},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity256
Distribution of constraint arities[{"arity":2,"count":257},{"arity":256,"count":1}]
Number of extensional constraints256
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":256},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.04	c root propagations     : 34026       
0.00/0.04	c restarts enabled, print stats at every restarts
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c This is cosoco 1.0 --  
0.00/0.04	c
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.01 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 256
0.00/0.04	c |            Domain Sizes: 256..256
0.00/0.04	c |
0.00/0.04	c |             Constraints: 259
0.00/0.04	c |                   Arity: 1..256  -- Unary: 2  -- Binary: 256
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          All Different: 1
0.00/0.04	c |                          Extension: 256  (nb tuples: 1680..1680) -- (shared: 255)
0.00/0.04	c |                          Unary: 2
0.00/0.04	c |                          
0.00/0.04	c =========================================================================================================
0.00/0.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.19/0.20	c 101            599            14554          79928          256            0              227   243   232
0.29/0.33	c 211            1174           28965          129735         256            0              208   242   235
0.49/0.53	c 332            1687           44774          230740         256            0              146   238   226
0.69/0.71	c 465            2309           59619          338755         256            0              196   240   229
0.89/0.93	c 611            2872           74634          444726         256            0              107   232   216
1.10/1.17	c 771            3577           91336          543185         256            0              116   236   224
1.39/1.40	c 947            4213           108161         668531         256            0              102   236   221
1.59/1.62	c 1140           5024           127062         794963         256            0              207   240   231
1.79/1.83	c 1352           5798           145643         877684         256            0              209   241   231
1.99/2.09	c 1585           6782           166592         990975         256            0              220   244   236
2.30/2.32	c 1841           7671           186546         1081992        256            0              125   240   229
2.49/2.56	c 2122           8616           207522         1171704        256            0              211   241   233
2.79/2.90	c 2431           9620           228616         1358113        256            0              129   239   227
3.30/3.32	c 2770           10729          257200         1553331        256            0              146   238   229
3.49/3.60	c 3142           11985          283646         1641517        256            0              224   244   236
3.99/4.03	c 3551           13358          312486         1819406        256            0              107   240   231
4.50/4.53	c 4000           14739          346579         2050412        256            0              116   235   228
4.99/5.04	c 4493           16089          375741         2231590        256            0              116   234   222
5.60/5.64	c 5035           17894          412920         2570917        256            0              104   236   224
6.19/6.24	c 5631           20101          455958         2796970        256            0              162   240   230
6.89/6.96	c 6286           22055          500689         3149811        256            0              104   231   223
7.59/7.66	c 7006           24193          545723         3388257        256            0              115   235   226
8.29/8.38	c 7798           26785          595141         3584177        256            0              190   238   230
9.19/9.23	c 8669           29409          652279         3919840        256            0              201   237   228
10.19/10.21	c 9627           32430          714967         4285046        256            0              136   236   228
11.09/11.15	c 10680          35834          779173         4575734        256            0              125   239   231
12.09/12.17	c 11838          38804          842347         4970241        256            0              221   244   233
13.49/13.51	c 13111          42753          923753         5524162        256            0              115   239   226
14.49/14.57	c 14511          47039          999713         5777004        256            0              154   236   229
15.98/16.05	c 16051          52164          1093253        6313889        256            0              141   240   229
17.59/17.67	c 17745          57536          1195057        6856615        256            0              125   240   231
20.18/20.28	c 19608          62243          1341796        7975353        256            0              178   236   227
22.38/22.49	c 21657          68981          1478703        9042854        256            0              105   236   224
24.38/24.42	c 23910          75489          1612425        9798552        256            0              125   240   230
26.88/26.95	c 26388          83169          1761426        10819484       256            0              104   238   228
29.38/29.45	c 29113          91305          1925503        11736266       256            0              157   240   230
31.78/31.80	c 32110          100109         2079723        12413262       256            0              197   237   229
34.58/34.66	c 35406          110527         2267502        13389727       256            0              172   237   230
37.98/38.09	c 39031          121783         2478882        14981773       256            0              94   238   229 
42.78/42.81	c 43018          135388         2742456        16588012       256            0              116   236   225
47.98/48.09	c 47403          149299         3046761        19272422       256            0              94   237   228 
52.58/52.61	c 52226          162140         3318436        21537615       256            0              115   238   229
57.47/57.53	c 57531          179529         3627778        23812148       256            0              192   243   231
63.78/63.82	c 63366          194631         3985163        27207208       256            0              104   240   229
69.67/69.74	c 69784          212719         4346380        29447920       256            0              190   240   231
76.67/76.76	c 76843          234084         4762576        31685300       256            0              104   237   226
82.67/82.72	c 84607          257563         5159183        33777941       256            0              119   245   234
91.27/91.39	c 93147          281631         5664237        37650492       256            0              104   234   225
99.07/99.18	c 102541         308483         6149986        40590268       256            0              117   237   227
110.96/111.10	c 112874         340177         6835044        46203865       256            0              104   235   227
123.16/123.30	c 124240         374670         7536891        50733756       256            0              117   235   226
132.06/132.18	c 136742         412368         8151751        53051031       256            0              211   246   237
141.65/141.72	c 150494         454534         8849896        55255331       256            0              217   244   236
154.95/155.04	c 165621         503526         9702826        60298150       256            0              142   240   229
169.04/169.12	c 182260         556538         10544054       63955184       256            0              104   233   224
185.95/186.08	c 200562         608813         11590254       71563199       256            0              198   237   228
203.54/203.68	c 220694         668415         12620357       77883175       256            0              104   240   231
221.73/221.84	c 242839         730922         13768550       84250104       256            0              128   244   235
242.82/242.99	c 267198         805466         15136016       89935499       256            0              125   237   229
267.82/267.94	c 293992         888133         16611521       99909310       256            0              115   239   228
290.21/290.30	c 323465         968555         17965372       108870761      256            0              104   238   229
323.60/323.73	c 355885         1066120        19844592       123342436      256            0              117   239   230
358.29/358.42	c 391547         1186237        21904558       136007845      256            0              104   242   230
387.79/387.95	c 430775         1307641        24024243       144930115      256            0              210   245   236
421.78/421.92	c 473925         1430302        26232611       156340485      256            0              125   243   232
461.77/461.91	c 521390         1570890        28635030       168158994      256            0              104   236   226
503.06/503.26	c 573601         1720194        31227859       185533692      256            0              130   242   233
543.14/543.32	c 631033         1879072        33882367       197337574      256            0              216   242   233
604.53/604.70	c 694208         2075691        37376295       221463690      256            0              104   240   231
665.91/666.15	c 763700         2279330        41219141       243981385      256            0              117   237   227
723.30/723.52	c 840141         2497992        45303628       262199639      256            0              198   242   233
793.58/793.89	c 924226         2756894        49686594       286019689      256            0              197   243   232
862.46/862.76	c 1016719        3026799        54158750       305244785      256            0              125   241   231
948.64/948.91	c 1118461        3315926        59107386       332900118      256            0              110   239   229
1060.21/1060.55	c 1230377        3642330        65706287       386858990      256            0              117   236   226
1177.57/1177.90	c 1353484        4022040        72266103       424482561      256            0              104   238   227
1276.04/1276.44	c 1488901        4413662        78828940       451296619      256            0              125   242   234
1380.11/1380.56	c 1637859        4835462        85746091       481858435      256            0              216   244   232
1512.76/1513.24	c 1801712        5307846        93657771       527422651      256            0              104   239   229
1670.62/1671.11	c 1981950        5831920        103303971      589439186      256            0              157   242   232
1865.06/1865.70	c 2180211        6492110        115174401      650988365      256            0              132   240   229
2047.19/2047.86	c 2398298        7174897        126508208      709522872      256            0              164   244   234
2274.02/2274.78	c 2638193        7994516        140414098      785051013      256            0              104   238   227

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242536-1500664248/watcher-4242536-1500664248 -o /tmp/evaluation-result-4242536-1500664248/solver-4242536-1500664248 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500648174-2495 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242536-1500664248.xml 

pid=4674
running on 8 cores: 0,2,4,6,8,10,12,14

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


[startup+0 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4677
/proc/meminfo: memFree=32036524/32770624 swapFree=5804/216016
[pid=4677] ppid=4674 vsize=27652 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 1139 0 0 0 0 0 0 0 20 0 1 0 1692217 28315648 964 33554432000 4194304 5970956 140721391052272 140721391047560 5417055 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 6913 964 712 434 0 277 0

[startup+0.100121 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4677
/proc/meminfo: memFree=32036524/32770624 swapFree=5804/216016
[pid=4677] ppid=4674 vsize=28728 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 1455 0 0 0 9 0 0 0 20 0 1 0 1692217 29417472 1294 33554432000 4194304 5970956 140721391052272 140721391049048 4969776 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7182 1294 766 434 0 546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28728

[startup+0.200263 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4677
/proc/meminfo: memFree=32036524/32770624 swapFree=5804/216016
[pid=4677] ppid=4674 vsize=28860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 1475 0 0 0 19 0 0 0 20 0 1 0 1692217 29552640 1294 33554432000 4194304 5970956 140721391052272 140721391048968 4974128 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7215 1294 766 434 0 579 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28860

[startup+0.300206 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4677
/proc/meminfo: memFree=32036524/32770624 swapFree=5804/216016
[pid=4677] ppid=4674 vsize=28992 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 1498 0 0 0 29 0 0 0 20 0 1 0 1692217 29687808 1294 33554432000 4194304 5970956 140721391052272 140721391049048 4976751 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1294 766 434 0 612 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28992

[startup+0.700181 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4677
/proc/meminfo: memFree=32036524/32770624 swapFree=5804/216016
[pid=4677] ppid=4674 vsize=28992 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 1500 0 0 0 69 0 0 0 20 0 1 0 1692217 29687808 1294 33554432000 4194304 5970956 140721391052272 140721391049608 4969805 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1294 766 434 0 612 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28992

[startup+1.50018 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 4678
/proc/meminfo: memFree=32032728/32770624 swapFree=5804/216032
[pid=4677] ppid=4674 vsize=28992 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 1502 0 0 0 149 0 0 0 20 0 1 0 1692217 29687808 1294 33554432000 4194304 5970956 140721391052272 140721391049608 4969789 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1294 766 434 0 612 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28992

[startup+3.10017 s]
/proc/loadavg: 1.96 2.01 2.04 3/244 4678
/proc/meminfo: memFree=32032236/32770624 swapFree=5804/216048
[pid=4677] ppid=4674 vsize=28992 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 2014 0 0 0 309 0 0 0 20 0 1 0 1692217 29687808 1343 33554432000 4194304 5970956 140721391052272 140721391049608 5098896 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1343 769 434 0 612 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28992

[startup+6.30018 s]
/proc/loadavg: 1.96 2.01 2.04 3/244 4678
/proc/meminfo: memFree=32032256/32770624 swapFree=5804/216048
[pid=4677] ppid=4674 vsize=28992 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 2530 0 0 0 629 0 0 0 20 0 1 0 1692217 29687808 1347 33554432000 4194304 5970956 140721391052272 140721391049608 4974141 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1347 769 434 0 612 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28992

[startup+12.7002 s]
/proc/loadavg: 1.96 2.01 2.04 3/244 4678
/proc/meminfo: memFree=32032312/32770624 swapFree=5804/216060
[pid=4677] ppid=4674 vsize=28992 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 3046 0 0 0 1269 0 0 0 20 0 1 0 1692217 29687808 1348 33554432000 4194304 5970956 140721391052272 140721391049608 4976758 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1348 769 434 0 612 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28992

[startup+25.5002 s]
/proc/loadavg: 1.97 2.01 2.04 3/244 4678
/proc/meminfo: memFree=32032604/32770624 swapFree=5804/216076
[pid=4677] ppid=4674 vsize=28992 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 4080 0 0 0 2548 0 0 0 20 0 1 0 1692217 29687808 1351 33554432000 4194304 5970956 140721391052272 140721391049608 4974668 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1351 769 434 0 612 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28992

[startup+51.1002 s]
/proc/loadavg: 1.98 2.01 2.04 3/244 4678
/proc/meminfo: memFree=32032604/32770624 swapFree=5804/216108
[pid=4677] ppid=4674 vsize=28992 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 4598 0 0 0 5108 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4970923 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28992

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/244 4679
/proc/meminfo: memFree=32032316/32770624 swapFree=5804/216184
[pid=4677] ppid=4674 vsize=28992 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 5119 0 0 0 10227 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4970920 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28992

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/244 4680
/proc/meminfo: memFree=32033108/32770624 swapFree=5804/216244
[pid=4677] ppid=4674 vsize=28992 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 5638 0 0 0 16225 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4976777 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28992

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.04 3/244 4681
/proc/meminfo: memFree=32033568/32770624 swapFree=5804/216316
[pid=4677] ppid=4674 vsize=28992 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 6156 0 0 0 22224 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4974671 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 28992

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 4682
/proc/meminfo: memFree=32033708/32770624 swapFree=5804/216356
[pid=4677] ppid=4674 vsize=28992 CPUtime=282.21 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 6674 0 0 0 28221 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4977604 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28992

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 4683
/proc/meminfo: memFree=32033836/32770624 swapFree=5804/216400
[pid=4677] ppid=4674 vsize=28992 CPUtime=342.2 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 7191 0 0 0 34220 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 5098928 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 28992

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 4684
/proc/meminfo: memFree=32034084/32770624 swapFree=5804/216448
[pid=4677] ppid=4674 vsize=28992 CPUtime=402.18 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 7710 0 0 0 40218 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4969805 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 28992

[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/243 4685
/proc/meminfo: memFree=32033996/32770624 swapFree=5804/216492
[pid=4677] ppid=4674 vsize=28992 CPUtime=462.17 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 8228 0 0 0 46217 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4974624 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 28992

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4686
/proc/meminfo: memFree=32034948/32770624 swapFree=5804/216524
[pid=4677] ppid=4674 vsize=28992 CPUtime=522.15 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 8747 0 0 0 52215 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4970584 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 28992

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 4694
/proc/meminfo: memFree=32033804/32770624 swapFree=5804/216588
[pid=4677] ppid=4674 vsize=28992 CPUtime=582.13 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 9266 0 0 0 58213 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4976681 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 28992


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


[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 4784
/proc/meminfo: memFree=32018652/32770624 swapFree=5804/217256
[pid=4677] ppid=4674 vsize=28992 CPUtime=1481.87 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 15702 0 0 0 148187 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4976677 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 28992

[startup+1542.31 s]
/proc/loadavg: 2.10 2.05 2.05 3/243 4785
/proc/meminfo: memFree=32018216/32770624 swapFree=5804/217300
[pid=4677] ppid=4674 vsize=28992 CPUtime=1541.86 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 16220 0 0 0 154186 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4974128 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 28992

[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 4786
/proc/meminfo: memFree=32017776/32770624 swapFree=5804/217332
[pid=4677] ppid=4674 vsize=28992 CPUtime=1601.83 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 16465 0 0 0 160183 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4971070 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 28992

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 4787
/proc/meminfo: memFree=32018852/32770624 swapFree=5804/217376
[pid=4677] ppid=4674 vsize=28992 CPUtime=1661.82 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 16712 0 0 0 166182 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4971062 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 28992

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 4788
/proc/meminfo: memFree=32018492/32770624 swapFree=5804/217412
[pid=4677] ppid=4674 vsize=28992 CPUtime=1721.8 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 17238 0 0 0 172180 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4974147 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 28992

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/243 4796
/proc/meminfo: memFree=32018448/32770624 swapFree=5804/217456
[pid=4677] ppid=4674 vsize=28992 CPUtime=1781.78 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 17492 0 0 0 178178 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4976725 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 28992

[startup+1842.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 4797
/proc/meminfo: memFree=32017344/32770624 swapFree=5804/217488
[pid=4677] ppid=4674 vsize=28992 CPUtime=1841.76 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 17749 0 0 0 184176 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 5098896 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 1841.76
Current children cumulated vsize (KiB) 28992

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4798
/proc/meminfo: memFree=32016156/32770624 swapFree=5804/217536
[pid=4677] ppid=4674 vsize=28992 CPUtime=1901.74 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 18267 0 0 0 190174 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4974728 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 1901.74
Current children cumulated vsize (KiB) 28992

[startup+1962.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 4799
/proc/meminfo: memFree=32016736/32770624 swapFree=5804/217560
[pid=4677] ppid=4674 vsize=28992 CPUtime=1961.72 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 18512 0 0 0 196172 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4974141 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 1961.72
Current children cumulated vsize (KiB) 28992

[startup+2022.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/243 4800
/proc/meminfo: memFree=32017304/32770624 swapFree=5804/217592
[pid=4677] ppid=4674 vsize=28992 CPUtime=2021.7 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 18760 0 0 0 202170 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4970544 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 2021.7
Current children cumulated vsize (KiB) 28992

[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 4801
/proc/meminfo: memFree=32017356/32770624 swapFree=5804/217656
[pid=4677] ppid=4674 vsize=28992 CPUtime=2081.69 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 19278 0 0 0 208169 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4976560 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 2081.69
Current children cumulated vsize (KiB) 28992

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4802
/proc/meminfo: memFree=32016716/32770624 swapFree=5804/217676
[pid=4677] ppid=4674 vsize=28992 CPUtime=2141.66 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 19536 0 0 0 214166 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4976725 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 2141.66
Current children cumulated vsize (KiB) 28992

[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 4803
/proc/meminfo: memFree=32016772/32770624 swapFree=5804/217720
[pid=4677] ppid=4674 vsize=28992 CPUtime=2201.65 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 19794 0 0 0 220165 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4974299 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 2201.65
Current children cumulated vsize (KiB) 28992

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4804
/proc/meminfo: memFree=32016696/32770624 swapFree=5804/217752
[pid=4677] ppid=4674 vsize=28992 CPUtime=2261.62 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 20054 0 0 0 226162 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4969805 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 2261.62
Current children cumulated vsize (KiB) 28992

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4805
/proc/meminfo: memFree=32016420/32770624 swapFree=5804/217792
[pid=4677] ppid=4674 vsize=28992 CPUtime=2321.6 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 20584 0 0 0 232160 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4974124 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 2321.6
Current children cumulated vsize (KiB) 28992

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4813
/proc/meminfo: memFree=32016756/32770624 swapFree=5804/217844
[pid=4677] ppid=4674 vsize=28992 CPUtime=2381.58 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 20858 0 0 0 238158 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4970944 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 2381.58
Current children cumulated vsize (KiB) 28992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4814
/proc/meminfo: memFree=32017544/32770624 swapFree=5804/217868
[pid=4677] ppid=4674 vsize=28992 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/4677/stat : 4677 (cosoco) R 4674 4677 2463 0 -1 4202496 21132 0 0 0 240007 0 0 0 20 0 1 0 1692217 29687808 1352 33554432000 4194304 5970956 140721391052272 140721391049608 4969768 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32428032 140721391060161 140721391060291 140721391060291 140721391062990 0
/proc/4677/statm: 7248 1352 769 434 0 612 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 28992

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

Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.09
CPU user time (s): 2400.08
CPU system time (s): 0.008997
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 28992

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00559 second user time and 10.7234 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-21 21:10:48
IDJOB=4242536
IDBENCH=134634
IDSOLVER=2620
FILE ID=node131/4242536-1500664248
RUNJOBID= node131-1500648174-2495
PBS_JOBID= 20623289
Free space on /tmp= 62016 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-16-ext02.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242536-1500664248/watcher-4242536-1500664248 -o /tmp/evaluation-result-4242536-1500664248/solver-4242536-1500664248 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500648174-2495 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242536-1500664248.xml

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

MD5SUM BENCH= 8abff29310eab5a4cd6a8102cf358f32
RANDOM SEED=1265001843

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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

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

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

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

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32036472 kB
MemAvailable:   32027412 kB
Buffers:           33476 kB
Cached:           269460 kB
SwapCached:            0 kB
Active:           138356 kB
Inactive:         224708 kB
Active(anon):      62892 kB
Inactive(anon):     8692 kB
Active(file):      75464 kB
Inactive(file):   216016 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2192 kB
Writeback:             0 kB
AnonPages:         67564 kB
Mapped:            29812 kB
Shmem:              8844 kB
Slab:              62236 kB
SReclaimable:      30588 kB
SUnreclaim:        31648 kB
KernelStack:        4240 kB
PageTables:         4676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     335376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 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:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62016 MiB
End job on node131 at 2017-07-21 21:50:49