Trace number 4242520

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.05 2400.21

General information on the benchmark

NameKnightTour/KnightTour-ext-s1/
KnightTour-14-ext03.xml
MD5SUM223310c4b2c0f482c3233db9dc344582
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 benchmark19.514
Satisfiable
(Un)Satisfiability was proved
Number of variables196
Number of constraints100
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":1},{"arity":3,"count":98},{"arity":196,"count":1}]
Number of extensional constraints98
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":98},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.09	c root propagations     : 20034       
0.00/0.09	c restarts enabled, print stats at every restarts
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c This is cosoco 1.0 --  
0.00/0.09	c
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.06 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 196
0.00/0.09	c |            Domain Sizes: 196..196
0.00/0.09	c |
0.00/0.09	c |             Constraints: 101
0.00/0.09	c |                   Arity: 1..196  -- Unary: 2  -- Ternary: 98
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          All Different: 1
0.00/0.09	c |                          Extension: 98  (nb tuples: 7384..7384) -- (shared: 97)
0.00/0.09	c |                          Unary: 2
0.00/0.09	c |                          
0.00/0.09	c =========================================================================================================
0.00/0.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.29/0.30	c 101            417            6354           90674          196            0              69   176   162 
0.39/0.45	c 211            816            11160          128481         196            0              95   182   170 
0.59/0.65	c 332            1219           16738          184193         196            0              44   175   162 
0.79/0.80	c 465            1628           21555          232877         196            0              148   179   172
0.89/0.96	c 611            2067           26488          288042         196            0              89   181   168 
1.20/1.28	c 771            2780           35824          380058         196            0              44   178   161 
1.49/1.53	c 947            3449           45372          460035         196            0              131   181   172
1.79/1.86	c 1140           4080           55132          565214         196            0              44   176   158 
1.99/2.07	c 1352           4620           62267          628822         196            0              136   177   170
2.29/2.36	c 1585           5204           70824          737620         196            0              44   176   162 
2.49/2.55	c 1841           5940           79407          782520         196            0              148   182   175
2.79/2.84	c 2122           6603           88686          871930         196            0              44   169   161 
2.99/3.06	c 2431           7424           98304          931032         196            0              152   181   174
3.39/3.44	c 2770           8386           110090         1046185        196            0              44   176   164 
3.59/3.68	c 3142           9352           119943         1121188        196            0              139   180   172
3.89/3.94	c 3551           10252          130524         1205961        196            0              143   179   173
4.29/4.39	c 4000           11224          144605         1411461        196            0              44   173   162 
4.59/4.65	c 4493           12470          157800         1476910        196            0              148   183   175
5.29/5.34	c 5035           13740          176315         1711574        196            0              44   179   163 
5.69/5.70	c 5631           15313          193524         1830097        196            0              150   185   176
6.19/6.26	c 6286           17092          216791         2041194        196            0              131   181   172
6.59/6.68	c 7006           18613          234721         2189583        196            0              132   183   170
7.29/7.33	c 7798           20156          255572         2424268        196            0              44   171   162 
7.89/7.99	c 8669           22292          280250         2722350        196            0              46   176   165 
8.59/8.69	c 9627           24182          303981         3000101        196            0              44   173   163 
9.19/9.28	c 10680          27504          336406         3149038        196            0              147   189   181
10.19/10.29	c 11838          31509          380023         3431222        196            0              89   180   170 
11.38/11.44	c 13111          35248          429322         3868511        196            0              145   184   177
12.38/12.41	c 14511          39595          476207         4156278        196            0              91   184   174 
13.19/13.23	c 16051          43011          514796         4455542        196            0              143   181   173
14.29/14.33	c 17745          45691          551782         4957029        196            0              44   166   160 
15.39/15.41	c 19608          49982          599262         5400648        196            0              136   181   173
16.78/16.82	c 21657          55595          666417         5887912        196            0              130   183   174
17.88/17.95	c 23910          60910          719856         6386103        196            0              145   185   177
18.88/18.98	c 26388          65906          770605         6732555        196            0              106   177   169
21.18/21.27	c 29113          74308          869636         7625271        196            0              142   180   171
22.48/22.50	c 32110          80094          928198         8090978        196            0              98   180   171 
27.38/27.40	c 35406          89875          1088296        10044692       196            0              44   176   167 
28.79/28.80	c 39031          98897          1181780        10415112       196            0              170   187   178
31.59/31.60	c 43018          110395         1313892        11455741       196            0              128   181   168
34.59/34.68	c 47403          120093         1437020        12565034       196            0              44   172   165 
36.79/36.81	c 52226          132437         1571849        13193533       196            0              149   186   177
39.79/39.84	c 57531          144001         1690596        14431128       196            0              44   178   168 
42.49/42.53	c 63366          157069         1825492        15587858       196            0              145   185   176
48.29/48.34	c 69784          176183         2056369        17186421       196            0              44   176   168 
51.09/51.16	c 76843          193875         2236752        18188408       196            0              169   188   177
56.09/56.15	c 84607          210622         2432498        20305626       196            0              44   178   170 
58.99/59.09	c 93147          231060         2629837        21178215       196            0              148   185   177
64.29/64.36	c 102541         253052         2895124        23225149       196            0              131   183   174
69.89/69.92	c 112874         277728         3169648        25229519       196            0              131   183   174
74.18/74.20	c 124240         296261         3348039        28182260       196            0              44   168   163 
80.78/80.87	c 136742         322285         3662738        30520803       196            0              106   179   169
95.28/95.32	c 150494         368295         4237943        35248638       196            0              44   179   167 
105.59/105.62	c 165621         413592         4726421        39410185       196            0              132   185   173
116.69/116.75	c 182260         448035         5141266        43673649       196            0              44   176   165 
127.08/127.11	c 200562         493354         5671307        47626361       196            0              131   184   172
141.68/141.74	c 220694         542316         6252240        53797412       196            0              44   179   169 
154.48/154.57	c 242839         599141         6872725        57901680       196            0              128   181   173
172.48/172.57	c 267198         654487         7579662        65792794       196            0              44   178   170 
180.58/180.62	c 293992         711992         8087019        68150361       196            0              154   184   170
214.88/214.92	c 323465         789554         9263958        82014386       196            0              44   177   166 
225.48/225.53	c 355885         855516         9856209        87261977       196            0              136   184   174
274.98/275.03	c 391547         942048         11431576       107988288      196            0              44   173   164 
289.87/289.92	c 430775         1042829        12442119       112565265      196            0              162   186   174
312.07/312.14	c 473925         1146774        13553660       121006546      196            0              147   185   174
338.97/339.08	c 521390         1256263        14700052       131084022      196            0              44   180   167 
368.17/368.27	c 573601         1390814        16171957       141993833      196            0              136   186   176
421.16/421.23	c 631033         1551938        18218686       161481121      196            0              44   176   166 
456.66/456.74	c 694208         1705446        19928198       173789602      196            0              106   183   170
506.46/506.52	c 763700         1919267        22261486       195189933      196            0              96   185   175 
549.85/549.93	c 840141         2099932        24378658       212213180      196            0              106   184   172
591.45/591.59	c 924226         2276367        26145470       229868577      196            0              44   179   166 
631.15/631.23	c 1016719        2479161        28135641       246108850      196            0              133   185   173
672.15/672.23	c 1118461        2728675        30461489       259861301      196            0              149   185   175
797.94/798.09	c 1230377        3048324        34975915       307882373      196            0              44   177   166 
858.04/858.13	c 1353484        3335885        37987929       329025236      196            0              98   182   172 
991.73/991.89	c 1488901        3783827        43402903       368625491      196            0              44   178   166 
1064.62/1064.76	c 1637859        4123210        47078107       394891488      196            0              98   182   172 
1151.02/1151.11	c 1801712        4482664        51253934       426515979      196            0              106   180   169
1252.82/1252.97	c 1981950        4865253        55501626       469208397      196            0              44   177   165 
1345.21/1345.33	c 2180211        5317279        60353617       501300323      196            0              121   185   174
1457.00/1457.18	c 2398298        5792847        65532382       545283146      196            0              118   181   170
1617.48/1617.68	c 2638193        6347633        71863864       612184041      196            0              44   179   166 
1712.69/1712.86	c 2902077        6902856        76667706       658329450      196            0              89   184   170 
1949.26/1949.48	c 3192349        7655591        84691943       754533459      196            0              44   178   143 
2090.36/2090.53	c 3511648        8330463        92236416       808152683      196            0              133   184   169

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

pid=4695
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.00 2.01 2.05 3/242 4698
/proc/meminfo: memFree=32034756/32770624 swapFree=5796/217284
[pid=4698] ppid=4695 vsize=27520 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 1080 0 0 0 0 0 0 0 20 0 1 0 1652024 28180480 898 33554432000 4194304 5970956 140727858413648 140727858410296 5672393 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 6880 898 712 434 0 244 0

[startup+0.100124 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4698
/proc/meminfo: memFree=32034756/32770624 swapFree=5796/217284
[pid=4698] ppid=4695 vsize=34048 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 2827 0 0 0 9 0 0 0 20 0 1 0 1652024 34865152 2558 33554432000 4194304 5970956 140727858413648 140727858411256 4977781 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8512 2558 725 434 0 1876 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34048

[startup+0.200344 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4698
/proc/meminfo: memFree=32034756/32770624 swapFree=5796/217284
[pid=4698] ppid=4695 vsize=34188 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 2855 0 0 0 19 0 0 0 20 0 1 0 1652024 35008512 2624 33554432000 4194304 5970956 140727858413648 140727858410536 4934449 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8547 2624 770 434 0 1911 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34188

[startup+0.300287 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4698
/proc/meminfo: memFree=32034756/32770624 swapFree=5796/217284
[pid=4698] ppid=4695 vsize=34188 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 2863 0 0 0 29 0 0 0 20 0 1 0 1652024 35008512 2624 33554432000 4194304 5970956 140727858413648 140727858410536 4976674 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8547 2624 770 434 0 1911 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34188

[startup+0.700241 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4698
/proc/meminfo: memFree=32034756/32770624 swapFree=5796/217284
[pid=4698] ppid=4695 vsize=34344 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 2877 0 0 0 69 0 0 0 20 0 1 0 1652024 35168256 2624 33554432000 4194304 5970956 140727858413648 140727858410984 4971010 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2624 770 434 0 1950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34344

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4699
/proc/meminfo: memFree=32026772/32770624 swapFree=5796/217548
[pid=4698] ppid=4695 vsize=34344 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 2881 0 0 0 149 0 0 0 20 0 1 0 1652024 35168256 2624 33554432000 4194304 5970956 140727858413648 140727858410984 4974152 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2624 770 434 0 1950 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34344

[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4699
/proc/meminfo: memFree=32026804/32770624 swapFree=5796/217548
[pid=4698] ppid=4695 vsize=34344 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 4431 0 0 0 309 0 0 0 20 0 1 0 1652024 35168256 2680 33554432000 4194304 5970956 140727858413648 140727858410984 4934335 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2680 773 434 0 1950 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34344

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4699
/proc/meminfo: memFree=32026448/32770624 swapFree=5796/217548
[pid=4698] ppid=4695 vsize=34344 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 5979 0 0 0 629 0 0 0 20 0 1 0 1652024 35168256 2681 33554432000 4194304 5970956 140727858413648 140727858410984 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2681 773 434 0 1950 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34344

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4699
/proc/meminfo: memFree=32026076/32770624 swapFree=5796/217548
[pid=4698] ppid=4695 vsize=34344 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 7528 0 0 0 1268 0 0 0 20 0 1 0 1652024 35168256 2681 33554432000 4194304 5970956 140727858413648 140727858410984 5098903 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2681 773 434 0 1950 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34344

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4699
/proc/meminfo: memFree=32026076/32770624 swapFree=5796/217548
[pid=4698] ppid=4695 vsize=34344 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 9581 0 0 0 2548 0 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 4976731 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34344

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4699
/proc/meminfo: memFree=32025348/32770624 swapFree=5796/217548
[pid=4698] ppid=4695 vsize=34344 CPUtime=51.09 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 12175 0 0 0 5108 1 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 4977082 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34344

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4700
/proc/meminfo: memFree=32025784/32770624 swapFree=5796/217744
[pid=4698] ppid=4695 vsize=34344 CPUtime=102.29 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 12452 0 0 0 10228 1 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 4974750 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 34344

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4701
/proc/meminfo: memFree=32025520/32770624 swapFree=5796/217744
[pid=4698] ppid=4695 vsize=34344 CPUtime=162.28 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 12728 0 0 0 16227 1 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 4971070 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 34344

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4702
/proc/meminfo: memFree=32025272/32770624 swapFree=5796/217876
[pid=4698] ppid=4695 vsize=34344 CPUtime=222.28 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 13006 0 0 0 22227 1 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 4969824 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 34344

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4703
/proc/meminfo: memFree=32025596/32770624 swapFree=5796/217940
[pid=4698] ppid=4695 vsize=34344 CPUtime=282.27 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 13283 0 0 0 28226 1 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 4977781 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 34344

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4704
/proc/meminfo: memFree=32026016/32770624 swapFree=5796/217992
[pid=4698] ppid=4695 vsize=34344 CPUtime=342.27 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 13559 0 0 0 34226 1 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 4976717 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 34344

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4712
/proc/meminfo: memFree=32024788/32770624 swapFree=5796/218036
[pid=4698] ppid=4695 vsize=34344 CPUtime=402.26 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 13835 0 0 0 40225 1 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 4934460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 34344

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4713
/proc/meminfo: memFree=32024972/32770624 swapFree=5796/218092
[pid=4698] ppid=4695 vsize=34344 CPUtime=462.26 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 14111 0 0 0 46225 1 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 5325143 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 34344

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4714
/proc/meminfo: memFree=32024744/32770624 swapFree=5796/218092
[pid=4698] ppid=4695 vsize=34344 CPUtime=522.26 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 14387 0 0 0 52225 1 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 4970920 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 34344

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4715
/proc/meminfo: memFree=32025244/32770624 swapFree=5796/218188
[pid=4698] ppid=4695 vsize=34344 CPUtime=582.25 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 14663 0 0 0 58224 1 0 0 20 0 1 0 1652024 35168256 2682 33554432000 4194304 5970956 140727858413648 140727858410984 4974643 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2682 773 434 0 1950 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 34344


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

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4739
/proc/meminfo: memFree=32023104/32770624 swapFree=5796/218836
[pid=4698] ppid=4695 vsize=34344 CPUtime=1482.19 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 18435 0 0 0 148218 1 0 0 20 0 1 0 1652024 35168256 2683 33554432000 4194304 5970956 140727858413648 140727858410984 4976698 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2683 773 434 0 1950 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 34344

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4741
/proc/meminfo: memFree=32021888/32770624 swapFree=5796/218880
[pid=4698] ppid=4695 vsize=34344 CPUtime=1542.2 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 18633 0 0 0 154219 1 0 0 20 0 1 0 1652024 35168256 2683 33554432000 4194304 5970956 140727858413648 140727858410984 4974704 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2683 773 434 0 1950 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 34344

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4749
/proc/meminfo: memFree=32021540/32770624 swapFree=5796/218896
[pid=4698] ppid=4695 vsize=34344 CPUtime=1602.19 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 18831 0 0 0 160218 1 0 0 20 0 1 0 1652024 35168256 2683 33554432000 4194304 5970956 140727858413648 140727858410984 4970642 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2683 773 434 0 1950 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 34344

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4750
/proc/meminfo: memFree=32021488/32770624 swapFree=5796/218968
[pid=4698] ppid=4695 vsize=34344 CPUtime=1662.18 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 19109 0 0 0 166217 1 0 0 20 0 1 0 1652024 35168256 2683 33554432000 4194304 5970956 140727858413648 140727858410984 4974624 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2683 773 434 0 1950 0
Current children cumulated CPU time (s) 1662.18
Current children cumulated vsize (KiB) 34344

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4751
/proc/meminfo: memFree=32022652/32770624 swapFree=5796/218968
[pid=4698] ppid=4695 vsize=34344 CPUtime=1722.18 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 19388 0 0 0 172217 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4977795 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 1722.18
Current children cumulated vsize (KiB) 34344

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4752
/proc/meminfo: memFree=32023068/32770624 swapFree=5796/219052
[pid=4698] ppid=4695 vsize=34344 CPUtime=1782.17 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 19592 0 0 0 178216 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4933087 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 1782.17
Current children cumulated vsize (KiB) 34344

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4753
/proc/meminfo: memFree=32021800/32770624 swapFree=5796/219052
[pid=4698] ppid=4695 vsize=34344 CPUtime=1842.17 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 19795 0 0 0 184216 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4977769 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 1842.17
Current children cumulated vsize (KiB) 34344

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4754
/proc/meminfo: memFree=32022988/32770624 swapFree=5796/219132
[pid=4698] ppid=4695 vsize=34344 CPUtime=1902.17 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 20002 0 0 0 190216 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4977123 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 1902.17
Current children cumulated vsize (KiB) 34344

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4755
/proc/meminfo: memFree=32022340/32770624 swapFree=5796/219132
[pid=4698] ppid=4695 vsize=34344 CPUtime=1962.16 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 20281 0 0 0 196215 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4974295 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 1962.16
Current children cumulated vsize (KiB) 34344

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4756
/proc/meminfo: memFree=32021932/32770624 swapFree=5796/219212
[pid=4698] ppid=4695 vsize=34344 CPUtime=2022.16 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 20477 0 0 0 202215 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 5337412 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 2022.16
Current children cumulated vsize (KiB) 34344

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4757
/proc/meminfo: memFree=32022628/32770624 swapFree=5796/219244
[pid=4698] ppid=4695 vsize=34344 CPUtime=2082.16 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 20673 0 0 0 208215 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4977123 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 2082.16
Current children cumulated vsize (KiB) 34344

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4758
/proc/meminfo: memFree=32023868/32770624 swapFree=5796/219284
[pid=4698] ppid=4695 vsize=34344 CPUtime=2142.15 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 20964 0 0 0 214214 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4971712 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 2142.15
Current children cumulated vsize (KiB) 34344

[startup+2202.31 s]
/proc/loadavg: 2.03 2.01 2.05 3/243 4832
/proc/meminfo: memFree=31824444/32770624 swapFree=5796/219284
[pid=4698] ppid=4695 vsize=34344 CPUtime=2202.15 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 21172 0 0 0 220214 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4971001 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 2202.15
Current children cumulated vsize (KiB) 34344

[startup+2262.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/243 4833
/proc/meminfo: memFree=31824536/32770624 swapFree=5796/219484
[pid=4698] ppid=4695 vsize=34344 CPUtime=2262.14 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 21380 0 0 0 226213 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4974709 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 2262.14
Current children cumulated vsize (KiB) 34344

[startup+2322.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 4834
/proc/meminfo: memFree=31818836/32770624 swapFree=5796/219484
[pid=4698] ppid=4695 vsize=34344 CPUtime=2322.14 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 21588 0 0 0 232213 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4977619 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 2322.14
Current children cumulated vsize (KiB) 34344

[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4835
/proc/meminfo: memFree=31811220/32770624 swapFree=5796/219608
[pid=4698] ppid=4695 vsize=34344 CPUtime=2382.14 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 21796 0 0 0 238213 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4969805 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 2382.14
Current children cumulated vsize (KiB) 34344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4835
/proc/meminfo: memFree=31810848/32770624 swapFree=5796/219608
[pid=4698] ppid=4695 vsize=34344 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/4698/stat : 4698 (cosoco) R 4695 4698 2448 0 -1 4202496 22003 0 0 0 240003 1 0 0 20 0 1 0 1652024 35168256 2685 33554432000 4194304 5970956 140727858413648 140727858410984 4934527 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 20000768 140727858418881 140727858419011 140727858419011 140727858421710 0
/proc/4698/statm: 8586 2685 773 434 0 1950 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 34344

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

Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.05
CPU user time (s): 2400.04
CPU system time (s): 0.015998
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 34344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.015998
maximum resident set size= 10784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22031
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= 9
involuntary context switches= 120620

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92919 second user time and 11.2887 second system time

The end

Launcher Data 

Begin job on node124 at 2017-07-21 21:04:03
IDJOB=4242520
IDBENCH=134610
IDSOLVER=2620
FILE ID=node124/4242520-1500663843
RUNJOBID= node124-1500648174-2481
PBS_JOBID= 20623296
Free space on /tmp= 62008 MiB

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

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

MD5SUM BENCH= 223310c4b2c0f482c3233db9dc344582
RANDOM SEED=339864114

node124.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.16
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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.16
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.16
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.16
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		: 2667.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.16
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		: 1600.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.16
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	: 5333.16
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:        32034888 kB
MemAvailable:   32026948 kB
Buffers:           35204 kB
Cached:           269116 kB
SwapCached:            0 kB
Active:           138284 kB
Inactive:         225988 kB
Active(anon):      62616 kB
Inactive(anon):     8704 kB
Active(file):      75668 kB
Inactive(file):   217284 kB
Unevictable:        5796 kB
Mlocked:            5796 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2016 kB
Writeback:             0 kB
AnonPages:         68296 kB
Mapped:            30352 kB
Shmem:              8840 kB
Slab:              61284 kB
SReclaimable:      29888 kB
SUnreclaim:        31396 kB
KernelStack:        4544 kB
PageTables:         5956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     329780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62004 MiB
End job on node124 at 2017-07-21 21:44:03