Trace number 4242496

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.1 2400.4

General information on the benchmark

NameKnightTour/KnightTour-int-s1/
KnightTour-14-int.xml
MD5SUMdbbe8f9566e77e077469f9f7dbe82d4d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3953.0901
Satisfiable
(Un)Satisfiability was proved
Number of variables196
Number of constraints198
Number of domains1
Minimum domain size196
Maximum domain size196
Distribution of domain sizes[{"size":196,"count":196}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":194},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity196
Distribution of constraint arities[{"arity":2,"count":197},{"arity":196,"count":1}]
Number of extensional constraints0
Number of intensional constraints196
Distribution of constraint types[{"type":"intension","count":196},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.19/0.28	c root propagations     : 2178        
0.19/0.28	c restarts enabled, print stats at every restarts
0.19/0.28	c
0.19/0.28	c
0.19/0.28	c
0.19/0.28	c This is cosoco 1.0 --  
0.19/0.28	c
0.19/0.28	c ========================================[ Problem Statistics ]===========================================
0.19/0.28	c |                                                                                                       
0.19/0.28	c |  Parse time        :         0.27 s 
0.19/0.28	c |
0.19/0.28	c |               Variables: 196
0.19/0.28	c |            Domain Sizes: 196..196
0.19/0.28	c |
0.19/0.28	c |             Constraints: 199
0.19/0.28	c |                   Arity: 1..196  -- Unary: 2  -- Binary: 196
0.19/0.28	c | 
0.19/0.28	c |                   Types: 
0.19/0.28	c |                          All Different: 1
0.19/0.28	c |                          Intension: 196
0.19/0.28	c |                          Unary: 2
0.19/0.28	c |                          
0.19/0.28	c =========================================================================================================
0.19/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.49/0.51	c 101            452            9673           55827          196            0              171   184   176
0.99/1.01	c 211            889            20882          218930         196            0              103   175   165
1.49/1.54	c 332            1326           30008          306291         196            0              95   139   125 
1.69/1.79	c 465            1888           40177          375216         196            0              82   182   169 
2.30/2.34	c 611            2372           51049          497392         196            0              85   169   146 
2.69/2.78	c 771            2723           58774          579034         196            0              64   118   82  
3.19/3.29	c 947            3322           70784          717175         196            0              18   178   166 
4.19/4.22	c 1140           3999           85621          896148         196            0              99   168   148 
4.50/4.55	c 1352           4842           102740         985673         196            0              162   183   176
4.79/4.83	c 1585           5618           116610         1057896        196            0              155   186   177
5.60/5.62	c 1841           6403           133019         1252694        196            0              79   174   159 
6.39/6.45	c 2122           7191           149846         1495859        196            0              63   173   151 
7.19/7.23	c 2431           8164           168281         1746564        196            0              104   175   159
8.69/8.75	c 2770           9349           191763         2007908        196            0              109   164   152
9.29/9.30	c 3142           10710          217581         2177308        196            0              82   182   177 
11.59/11.68	c 3551           12134          251649         2571354        196            0              100   166   152
12.89/12.96	c 4000           13168          275225         2826719        196            0              85   175   152 
14.49/14.51	c 4493           14693          306082         3140311        196            0              83   174   157 
15.09/15.19	c 5035           16305          337897         3317721        196            0              82   178   170 
15.79/15.82	c 5631           18448          377220         3488862        196            0              167   186   175
16.69/16.75	c 6286           20595          421785         3813442        196            0              82   182   174 
17.39/17.46	c 7006           22555          457681         4015808        196            0              79   176   168 
17.99/18.09	c 7798           24982          496614         4163404        196            0              158   185   178
18.99/19.02	c 8669           27686          548412         4419347        196            0              143   183   172
22.69/22.79	c 9627           30526          617237         5123682        196            0              82   169   164 
23.89/23.90	c 10680          33829          678663         5451948        196            0              120   182   175
26.09/26.11	c 11838          36759          733185         5890286        196            0              100   171   160
30.49/30.55	c 13111          39937          824008         6728455        196            0              99   166   162 
31.89/31.94	c 14511          43937          896960         7155774        196            0              79   180   170 
35.58/35.63	c 16051          48230          982127         8011905        196            0              103   171   164
36.78/36.85	c 17745          53676          1064980        8323443        196            0              159   187   177
38.78/38.80	c 19608          59172          1168728        8972881        196            0              79   181   172 
45.88/45.96	c 21657          66477          1270174        10114343       196            0              89   126   122 
51.18/51.21	c 23910          71115          1360658        11228770       196            0              55   169   139 
56.78/56.83	c 26388          79008          1475619        12313432       196            0              82   172   159 
59.28/59.33	c 29113          86211          1607345        13027013       196            0              100   180   172
62.28/62.39	c 32110          94850          1771176        14051793       196            0              98   180   170 
73.79/73.85	c 35406          103742         1974617        16075596       196            0              95   170   166 
76.88/76.99	c 39031          113818         2147864        16879290       196            0              100   182   170
83.28/83.30	c 43018          127092         2363119        18291810       196            0              84   183   169 
89.38/89.45	c 47403          139646         2569881        19630072       196            0              103   182   171
93.78/93.85	c 52226          155055         2806124        20827669       196            0              100   180   170
100.28/100.37	c 57531          167582         3022269        22459848       196            0              103   174   168
104.98/105.04	c 63366          183978         3291917        23657245       196            0              100   180   172
122.97/123.00	c 69784          204004         3655242        27104388       196            0              82   173   164 
128.37/128.42	c 76843          229451         3999267        28597439       196            0              95   182   172 
134.37/134.49	c 84607          252943         4373874        30319538       196            0              95   182   175 
155.37/155.44	c 93147          273237         4839681        35275875       196            0              95   172   167 
163.47/163.55	c 102541         302017         5315480        37232354       196            0              100   179   172
200.36/200.40	c 112874         333059         5930375        43464635       196            0              95   169   151 
209.96/210.08	c 124240         367122         6502189        46324098       196            0              95   181   172 
221.96/222.04	c 136742         405208         7182305        49513903       196            0              79   181   172 
261.26/261.37	c 150494         442716         7875027        56285112       196            0              82   171   151 
312.05/312.10	c 165621         483933         8757917        65497031       196            0              95   172   162 
356.54/356.61	c 182260         530251         9678414        74527444       196            0              79   174   162 
370.14/370.27	c 200562         583349         10526162       77911631       196            0              82   182   173 
385.84/385.91	c 220694         640212         11456624       82296879       196            0              95   181   171 
406.14/406.21	c 242839         703596         12666128       88657752       196            0              82   179   171 
448.43/448.56	c 267198         770355         13742461       98308866       196            0              79   174   162 
523.63/523.75	c 293992         856199         15488584       118099587      196            0              87   175   166 
553.92/554.00	c 323465         943191         17136309       128261205      196            0              67   182   172 
581.82/581.92	c 355885         1038020        18764762       136737945      196            0              79   181   173 
612.21/612.39	c 391547         1145338        20501854       145506150      196            0              95   182   173 
647.91/648.08	c 430775         1261507        22582150       156693715      196            0              82   182   173 
684.00/684.20	c 473925         1387950        24726576       167811773      196            0              95   182   173 
844.69/844.88	c 521390         1522444        27957339       197355940      196            0              79   167   158 
892.37/892.54	c 573601         1685575        30766136       213204943      196            0              79   183   175 
939.77/939.99	c 631033         1856884        33513966       227481606      196            0              95   183   172 
1105.95/1106.16	c 694208         2030375        37165344       262963168      196            0              95   174   168 
1338.42/1338.60	c 763700         2227724        41553046       305636111      196            0              101   171   163
1406.01/1406.27	c 840141         2438946        45399261       326559951      196            0              95   180   170 
1665.88/1666.11	c 924226         2681482        50398801       378475545      196            0              82   171   166 
1808.96/1809.22	c 1016719        2974580        55424737       415212057      196            0              82   184   175 
1894.65/1894.97	c 1118461        3271242        60789998       442750973      196            0              95   181   170 
1995.84/1996.12	c 1230377        3610226        66624665       474916904      196            0              82   183   171 
2089.52/2089.84	c 1353484        3992514        72630678       499471589      196            0              79   180   170

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-4242496-1500663780/watcher-4242496-1500663780 -o /tmp/evaluation-result-4242496-1500663780/solver-4242496-1500663780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2492 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242496-1500663780.xml 

pid=5212
running on 8 cores: 1,3,5,7,9,11,13,15

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.02 2.03 2.05 3/242 5215
/proc/meminfo: memFree=32037896/32770624 swapFree=5840/217952
[pid=5215] ppid=5212 vsize=27520 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 1148 0 0 0 1 0 0 0 20 0 1 0 1645751 28180480 964 33554432000 4194304 5970956 140725969661824 140725969654032 139898294881760 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 6878 989 787 434 0 242 0

[startup+0.100154 s]
/proc/loadavg: 2.02 2.03 2.05 3/242 5215
/proc/meminfo: memFree=32037896/32770624 swapFree=5840/217952
[pid=5215] ppid=5212 vsize=28000 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 1282 0 0 0 9 0 0 0 20 0 1 0 1645751 28672000 1112 33554432000 4194304 5970956 140725969661824 140725969655528 139898294893541 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7000 1112 787 434 0 364 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28000

[startup+0.200292 s]
/proc/loadavg: 2.02 2.03 2.05 3/242 5215
/proc/meminfo: memFree=32037896/32770624 swapFree=5840/217952
[pid=5215] ppid=5212 vsize=28856 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 1493 0 0 0 19 0 0 0 20 0 1 0 1645751 29548544 1327 33554432000 4194304 5970956 140725969661824 140725969655528 139898294893541 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7214 1327 788 434 0 578 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28856

[startup+0.300242 s]
/proc/loadavg: 2.02 2.03 2.05 3/242 5215
/proc/meminfo: memFree=32037896/32770624 swapFree=5840/217952
[pid=5215] ppid=5212 vsize=29592 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 1743 0 0 0 29 0 0 0 20 0 1 0 1645751 30302208 1576 33554432000 4194304 5970956 140725969661824 140725969659432 139898294893541 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7398 1576 831 434 0 762 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29592

[startup+0.700208 s]
/proc/loadavg: 2.02 2.03 2.05 3/242 5215
/proc/meminfo: memFree=32037896/32770624 swapFree=5840/217952
[pid=5215] ppid=5212 vsize=30520 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 1967 0 0 0 69 0 0 0 20 0 1 0 1645751 31252480 1774 33554432000 4194304 5970956 140725969661824 140725969658888 139898294893541 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7630 1774 832 434 0 994 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30520

[startup+1.50021 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5216
/proc/meminfo: memFree=32033452/32770624 swapFree=5840/217952
[pid=5215] ppid=5212 vsize=30784 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 2042 0 0 0 149 0 0 0 20 0 1 0 1645751 31522816 1840 33554432000 4194304 5970956 140725969661824 140725969658888 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7696 1840 832 434 0 1060 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30784

[startup+3.1002 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5216
/proc/meminfo: memFree=32032692/32770624 swapFree=5840/217952
[pid=5215] ppid=5212 vsize=31312 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 3205 0 0 0 309 0 0 0 20 0 1 0 1645751 32063488 2011 33554432000 4194304 5970956 140725969661824 140725969659160 4977799 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7828 2011 832 434 0 1192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31312

[startup+6.30021 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5216
/proc/meminfo: memFree=32032320/32770624 swapFree=5840/217952
[pid=5215] ppid=5212 vsize=31576 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 4395 0 0 0 629 0 0 0 20 0 1 0 1645751 32333824 2051 33554432000 4194304 5970956 140725969661824 140725969659160 4969927 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7894 2051 832 434 0 1258 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31576

[startup+12.7002 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5216
/proc/meminfo: memFree=32031956/32770624 swapFree=5840/217952
[pid=5215] ppid=5212 vsize=31576 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 5575 0 0 0 1269 0 0 0 20 0 1 0 1645751 32333824 2072 33554432000 4194304 5970956 140725969661824 140725969659160 4976751 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7894 2072 832 434 0 1258 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31576

[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5216
/proc/meminfo: memFree=32032320/32770624 swapFree=5840/218100
[pid=5215] ppid=5212 vsize=31708 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 7138 0 0 0 2549 0 0 0 20 0 1 0 1645751 32468992 2089 33554432000 4194304 5970956 140725969661824 140725969659160 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2089 832 434 0 1291 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31708

[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5216
/proc/meminfo: memFree=32032444/32770624 swapFree=5840/218124
[pid=5215] ppid=5212 vsize=31708 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 7334 0 0 0 5108 0 0 0 20 0 1 0 1645751 32468992 2093 33554432000 4194304 5970956 140725969661824 140725969659160 5052062 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2093 832 434 0 1291 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31708

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5217
/proc/meminfo: memFree=32032352/32770624 swapFree=5840/218124
[pid=5215] ppid=5212 vsize=31708 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 7522 0 0 0 10228 0 0 0 20 0 1 0 1645751 32468992 2102 33554432000 4194304 5970956 140725969661824 140725969659160 4974128 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2102 832 434 0 1291 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 31708

[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 5218
/proc/meminfo: memFree=32031880/32770624 swapFree=5840/218264
[pid=5215] ppid=5212 vsize=31708 CPUtime=162.27 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 7711 0 0 0 16227 0 0 0 20 0 1 0 1645751 32468992 2104 33554432000 4194304 5970956 140725969661824 140725969659160 4974128 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2104 832 434 0 1291 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 31708

[startup+222.307 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5219
/proc/meminfo: memFree=32030964/32770624 swapFree=5840/218264
[pid=5215] ppid=5212 vsize=31708 CPUtime=222.27 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 7900 0 0 0 22227 0 0 0 20 0 1 0 1645751 32468992 2105 33554432000 4194304 5970956 140725969661824 140725969659160 5071049 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2105 832 434 0 1291 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 31708

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5220
/proc/meminfo: memFree=32031732/32770624 swapFree=5840/218376
[pid=5215] ppid=5212 vsize=31708 CPUtime=282.25 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 8078 0 0 0 28225 0 0 0 20 0 1 0 1645751 32468992 2106 33554432000 4194304 5970956 140725969661824 140725969659160 5070064 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2106 832 434 0 1291 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 31708

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5221
/proc/meminfo: memFree=32030612/32770624 swapFree=5840/218376
[pid=5215] ppid=5212 vsize=31708 CPUtime=342.24 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 8251 0 0 0 34224 0 0 0 20 0 1 0 1645751 32468992 2106 33554432000 4194304 5970956 140725969661824 140725969659160 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2106 832 434 0 1291 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 31708

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5222
/proc/meminfo: memFree=32031564/32770624 swapFree=5840/218480
[pid=5215] ppid=5212 vsize=31708 CPUtime=402.24 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 8437 0 0 0 40224 0 0 0 20 0 1 0 1645751 32468992 2106 33554432000 4194304 5970956 140725969661824 140725969659160 5069712 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2106 832 434 0 1291 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 31708

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5231
/proc/meminfo: memFree=32030780/32770624 swapFree=5840/218480
[pid=5215] ppid=5212 vsize=31708 CPUtime=462.23 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 8618 0 0 0 46223 0 0 0 20 0 1 0 1645751 32468992 2107 33554432000 4194304 5970956 140725969661824 140725969659160 4908971 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2107 832 434 0 1291 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 31708

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5232
/proc/meminfo: memFree=32030712/32770624 swapFree=5840/218588
[pid=5215] ppid=5212 vsize=31708 CPUtime=522.22 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 8717 0 0 0 52222 0 0 0 20 0 1 0 1645751 32468992 2107 33554432000 4194304 5970956 140725969661824 140725969659160 5069977 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2107 832 434 0 1291 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 31708

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5233
/proc/meminfo: memFree=32030884/32770624 swapFree=5840/218588
[pid=5215] ppid=5212 vsize=31708 CPUtime=582.21 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 8974 0 0 0 58221 0 0 0 20 0 1 0 1645751 32468992 2107 33554432000 4194304 5970956 140725969661824 140725969659160 4974668 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2107 832 434 0 1291 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 31708


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


[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5256
/proc/meminfo: memFree=32029152/32770624 swapFree=5840/219256
[pid=5215] ppid=5212 vsize=31708 CPUtime=1482.1 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 10982 0 0 0 148210 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 5069712 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 1482.1
Current children cumulated vsize (KiB) 31708

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5258
/proc/meminfo: memFree=32029828/32770624 swapFree=5840/219256
[pid=5215] ppid=5212 vsize=31708 CPUtime=1542.1 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 11083 0 0 0 154210 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 4967789 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 1542.1
Current children cumulated vsize (KiB) 31708

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5260
/proc/meminfo: memFree=32029108/32770624 swapFree=5840/219356
[pid=5215] ppid=5212 vsize=31708 CPUtime=1602.09 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 11177 0 0 0 160209 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 4969902 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 31708

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 5268
/proc/meminfo: memFree=32027992/32770624 swapFree=5840/219364
[pid=5215] ppid=5212 vsize=31708 CPUtime=1662.08 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 11271 0 0 0 166208 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 5069968 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 31708

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 5269
/proc/meminfo: memFree=32028432/32770624 swapFree=5840/219424
[pid=5215] ppid=5212 vsize=31708 CPUtime=1722.07 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 11437 0 0 0 172207 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 31708

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5270
/proc/meminfo: memFree=32027904/32770624 swapFree=5840/219424
[pid=5215] ppid=5212 vsize=31708 CPUtime=1782.06 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 11522 0 0 0 178206 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 5070793 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 31708

[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 5271
/proc/meminfo: memFree=32028544/32770624 swapFree=5840/219496
[pid=5215] ppid=5212 vsize=31708 CPUtime=1842.06 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 11701 0 0 0 184206 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 5098896 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 1842.06
Current children cumulated vsize (KiB) 31708

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5272
/proc/meminfo: memFree=32028108/32770624 swapFree=5840/219496
[pid=5215] ppid=5212 vsize=31708 CPUtime=1902.05 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 11867 0 0 0 190205 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 4978194 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 31708

[startup+1962.3 s]
/proc/loadavg: 2.18 2.07 2.06 3/243 5339
/proc/meminfo: memFree=32028052/32770624 swapFree=5840/219576
[pid=5215] ppid=5212 vsize=31708 CPUtime=1962.04 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 11940 0 0 0 196204 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 5098896 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 31708

[startup+2022.3 s]
/proc/loadavg: 2.17 2.08 2.06 3/243 5340
/proc/meminfo: memFree=32026596/32770624 swapFree=5840/219640
[pid=5215] ppid=5212 vsize=31708 CPUtime=2022.03 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 12112 0 0 0 202203 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 4978194 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 31708

[startup+2082.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/243 5341
/proc/meminfo: memFree=32026760/32770624 swapFree=5840/219640
[pid=5215] ppid=5212 vsize=31708 CPUtime=2082.03 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 12184 0 0 0 208203 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 4974147 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 31708

[startup+2142.3 s]
/proc/loadavg: 2.10 2.07 2.06 3/243 5342
/proc/meminfo: memFree=32027644/32770624 swapFree=5840/219724
[pid=5215] ppid=5212 vsize=31708 CPUtime=2142.02 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 12387 0 0 0 214202 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 5071049 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 2142.02
Current children cumulated vsize (KiB) 31708

[startup+2202.31 s]
/proc/loadavg: 2.04 2.06 2.05 3/243 5343
/proc/meminfo: memFree=32027628/32770624 swapFree=5840/219760
[pid=5215] ppid=5212 vsize=31708 CPUtime=2202.02 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 12489 0 0 0 220202 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 31708

[startup+2262.3 s]
/proc/loadavg: 2.10 2.08 2.05 3/244 5352
/proc/meminfo: memFree=32027208/32770624 swapFree=5840/219832
[pid=5215] ppid=5212 vsize=31708 CPUtime=2262 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 12591 0 0 0 226200 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 5070056 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 2262
Current children cumulated vsize (KiB) 31708

[startup+2322.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/244 5353
/proc/meminfo: memFree=32027752/32770624 swapFree=5840/219832
[pid=5215] ppid=5212 vsize=31708 CPUtime=2321.99 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 12688 0 0 0 232199 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 4967896 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 31708

[startup+2382.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/244 5354
/proc/meminfo: memFree=32027168/32770624 swapFree=5840/219884
[pid=5215] ppid=5212 vsize=31708 CPUtime=2381.99 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 12785 0 0 0 238199 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 2381.99
Current children cumulated vsize (KiB) 31708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.01 2.05 2.05 3/244 5354
/proc/meminfo: memFree=32026740/32770624 swapFree=5840/219884
[pid=5215] ppid=5212 vsize=31708 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/5215/stat : 5215 (cosoco) R 5212 5215 2458 0 -1 4202496 12882 0 0 0 240008 0 0 0 20 0 1 0 1645751 32468992 2109 33554432000 4194304 5970956 140725969661824 140725969659160 4908952 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 18456576 140725969667265 140725969667395 140725969667395 140725969670094 0
/proc/5215/statm: 7927 2109 832 434 0 1291 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 31708

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

Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.1
CPU user time (s): 2400.09
CPU system time (s): 0.008998
CPU usage (%): 99.9874
Max. virtual memory (cumulated for all children) (KiB): 31708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.09
system time used= 0.008998
maximum resident set size= 8480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12910
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= 8
involuntary context switches= 120636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.55091 second user time and 9.00658 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-21 21:03:00
IDJOB=4242496
IDBENCH=134598
IDSOLVER=2620
FILE ID=node126/4242496-1500663780
RUNJOBID= node126-1500648174-2492
PBS_JOBID= 20623294
Free space on /tmp= 61980 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-14-int.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242496-1500663780/watcher-4242496-1500663780 -o /tmp/evaluation-result-4242496-1500663780/solver-4242496-1500663780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2492 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242496-1500663780.xml

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

MD5SUM BENCH= dbbe8f9566e77e077469f9f7dbe82d4d
RANDOM SEED=1060103379

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 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	: 5333.50
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		: 1600.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	: 5333.50
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	: 5333.50
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	: 5333.50
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	: 5333.50
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		: 2267.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	: 5333.50
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		: 1600.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		: 2668.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	: 5333.50
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		: 1867.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	: 5333.50
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:        32038312 kB
MemAvailable:   32031036 kB
Buffers:           35340 kB
Cached:           269360 kB
SwapCached:            0 kB
Active:           133760 kB
Inactive:         226608 kB
Active(anon):      58224 kB
Inactive(anon):     8656 kB
Active(file):      75536 kB
Inactive(file):   217952 kB
Unevictable:        5840 kB
Mlocked:            5840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2472 kB
Writeback:             0 kB
AnonPages:        213092 kB
Mapped:            30524 kB
Shmem:              8840 kB
Slab:              61712 kB
SReclaimable:      30140 kB
SUnreclaim:        31572 kB
KernelStack:        4256 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     328756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61980 MiB
End job on node126 at 2017-07-21 21:43:00