Trace number 4268028

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2519.76 2520

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.04/0.10	c root propagations     : 20034       
0.04/0.10	c restarts enabled, print stats at every restarts
0.04/0.10	c
0.04/0.10	c
0.04/0.10	c
0.04/0.10	c This is cosoco 1.12 --  
0.04/0.10	c
0.04/0.10	c command line: cosoco -lc -model -restarts HOME/instance-4268028-1502547107.xml 
0.04/0.10	c ========================================[ Problem Statistics ]===========================================
0.04/0.10	c |                                                                                                       
0.04/0.10	c |  Parse time        :         0.03 s 
0.04/0.10	c |
0.04/0.10	c |               Variables: 196
0.04/0.10	c |            Domain Sizes: 196..196
0.04/0.10	c |
0.04/0.10	c |             Constraints: 101
0.04/0.10	c |                   Arity: 1..196  -- Unary: 2  -- Ternary: 98
0.04/0.10	c | 
0.04/0.10	c |                   Types: 
0.04/0.10	c |                          All Different: 1
0.04/0.10	c |                          Extension: 98  (nb tuples: 7384..7384) -- (shared: 97)
0.04/0.10	c |                          Unary: 2
0.04/0.10	c |                          
0.04/0.10	c =========================================================================================================
0.04/0.10	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.24/0.30	c 101            417            6354           90674          196            0              69   176   162 
0.34/0.45	c 211            816            11160          128481         196            0              95   182   170 
0.54/0.64	c 332            1219           16738          184193         196            0              44   175   162 
0.74/0.80	c 465            1628           21555          232877         196            0              148   179   172
0.84/0.96	c 611            2067           26488          288042         196            0              89   181   168 
1.14/1.27	c 771            2780           35824          380058         196            0              44   178   161 
1.44/1.53	c 947            3449           45372          460035         196            0              131   181   172
1.74/1.86	c 1140           4080           55132          565214         196            0              44   176   158 
1.94/2.07	c 1352           4620           62267          628822         196            0              136   177   170
2.24/2.36	c 1585           5204           70824          737620         196            0              44   176   162 
2.44/2.55	c 1841           5940           79407          782520         196            0              148   182   175
2.74/2.84	c 2122           6603           88686          871930         196            0              44   169   161 
2.94/3.06	c 2431           7424           98304          931032         196            0              152   181   174
3.34/3.44	c 2770           8386           110090         1046185        196            0              44   176   164 
3.54/3.68	c 3142           9352           119943         1121188        196            0              139   180   172
3.84/3.94	c 3551           10252          130524         1205961        196            0              143   179   173
4.24/4.39	c 4000           11224          144605         1411461        196            0              44   173   162 
4.54/4.65	c 4493           12470          157800         1476910        196            0              148   183   175
5.24/5.34	c 5035           13740          176315         1711574        196            0              44   179   163 
5.64/5.70	c 5631           15313          193524         1830097        196            0              150   185   176
6.14/6.26	c 6286           17092          216791         2041194        196            0              131   181   172
6.54/6.68	c 7006           18613          234721         2189583        196            0              132   183   170
7.24/7.33	c 7798           20156          255572         2424268        196            0              44   171   162 
7.84/7.99	c 8669           22292          280250         2722350        196            0              46   176   165 
8.54/8.69	c 9627           24182          303981         3000101        196            0              44   173   163 
9.14/9.28	c 10680          27504          336406         3149038        196            0              147   189   181
10.14/10.28	c 11838          31509          380023         3431222        196            0              89   180   170 
11.34/11.44	c 13111          35248          429322         3868511        196            0              145   184   177
12.34/12.41	c 14511          39595          476207         4156278        196            0              91   184   174 
13.14/13.23	c 16051          43011          514796         4455542        196            0              143   181   173
14.24/14.32	c 17745          45691          551782         4957029        196            0              44   166   160 
15.34/15.41	c 19608          49982          599262         5400648        196            0              136   181   173
16.74/16.81	c 21657          55595          666417         5887912        196            0              130   183   174
17.84/17.94	c 23910          60910          719856         6386103        196            0              145   185   177
18.84/18.98	c 26388          65906          770605         6732555        196            0              106   177   169
21.13/21.26	c 29113          74308          869636         7625271        196            0              142   180   171
22.33/22.49	c 32110          80094          928198         8090978        196            0              98   180   171 
27.23/27.37	c 35406          89875          1088296        10044692       196            0              44   176   167 
28.64/28.77	c 39031          98897          1181780        10415112       196            0              170   187   178
31.43/31.56	c 43018          110395         1313892        11455741       196            0              128   181   168
34.53/34.62	c 47403          120093         1437020        12565034       196            0              44   172   165 
36.63/36.73	c 52226          132437         1571849        13193533       196            0              149   186   177
39.64/39.74	c 57531          144001         1690596        14431128       196            0              44   178   168 
42.33/42.41	c 63366          157069         1825492        15587858       196            0              145   185   176
48.03/48.18	c 69784          176183         2056369        17186421       196            0              44   176   168 
50.93/51.00	c 76843          193875         2236752        18188408       196            0              169   188   177
55.83/55.98	c 84607          210622         2432498        20305626       196            0              44   178   170 
58.83/58.93	c 93147          231060         2629837        21178215       196            0              148   185   177
64.13/64.20	c 102541         253052         2895124        23225149       196            0              131   183   174
69.63/69.76	c 112874         277728         3169648        25229519       196            0              131   183   174
73.93/74.03	c 124240         296261         3348039        28182260       196            0              44   168   163 
80.63/80.71	c 136742         322285         3662738        30520803       196            0              106   179   169
95.03/95.12	c 150494         368295         4237943        35248638       196            0              44   179   167 
105.33/105.44	c 165621         413592         4726421        39410185       196            0              132   185   173
116.43/116.55	c 182260         448035         5141266        43673649       196            0              44   176   165 
126.82/126.92	c 200562         493354         5671307        47626361       196            0              131   184   172
141.42/141.50	c 220694         542316         6252240        53797412       196            0              44   179   169 
154.22/154.39	c 242839         599141         6872725        57901680       196            0              128   181   173
172.22/172.37	c 267198         654487         7579662        65792794       196            0              44   178   170 
180.22/180.39	c 293992         711992         8087019        68150361       196            0              154   184   170
214.62/214.70	c 323465         789554         9263958        82014386       196            0              44   177   166 
225.22/225.31	c 355885         855516         9856209        87261977       196            0              136   184   174
274.71/274.81	c 391547         942048         11431576       107988288      196            0              44   173   164 
289.61/289.75	c 430775         1042829        12442119       112565265      196            0              162   186   174
311.81/311.98	c 473925         1146774        13553660       121006546      196            0              147   185   174
338.71/338.87	c 521390         1256263        14700052       131084022      196            0              44   180   167 
367.90/368.03	c 573601         1390814        16171957       141993833      196            0              136   186   176
420.80/420.93	c 631033         1551938        18218686       161481121      196            0              44   176   166 
456.40/456.50	c 694208         1705446        19928198       173789602      196            0              106   183   170
506.09/506.22	c 763700         1919267        22261486       195189933      196            0              96   185   175 
549.49/549.63	c 840141         2099932        24378658       212213180      196            0              106   184   172
591.19/591.34	c 924226         2276367        26145470       229868577      196            0              44   179   166 
630.69/630.89	c 1016719        2479161        28135641       246108850      196            0              133   185   173
671.79/671.95	c 1118461        2728675        30461489       259861301      196            0              149   185   175
797.78/797.95	c 1230377        3048324        34975915       307882373      196            0              44   177   166 
857.88/858.04	c 1353484        3335885        37987929       329025236      196            0              98   182   172 
991.66/991.87	c 1488901        3783827        43402903       368625491      196            0              44   178   166 
1064.56/1064.74	c 1637859        4123210        47078107       394891488      196            0              98   182   172 
1150.95/1151.16	c 1801712        4482664        51253934       426515979      196            0              106   180   169
1252.64/1252.84	c 1981950        4865253        55501626       469208397      196            0              44   177   165 
1344.84/1345.08	c 2180211        5317279        60353617       501300323      196            0              121   185   174
1456.43/1456.69	c 2398298        5792847        65532382       545283146      196            0              118   181   170
1616.62/1616.87	c 2638193        6347633        71863864       612184041      196            0              44   179   166 
1711.71/1711.97	c 2902077        6902856        76667706       658329450      196            0              89   184   170 
1948.79/1949.08	c 3192349        7655591        84691943       754533459      196            0              44   178   143 
2089.68/2089.99	c 3511648        8330463        92236416       808152683      196            0              133   184   169
2519.75/2520.00	
2519.75/2520.00	c *** INTERRUPTED ***
2519.75/2520.00	c restarts              : 86          
2519.75/2520.00	c conflicts             : 3791784      (1505 /sec)
2519.75/2520.00	c decisions             : 9096808      (3610 /sec)
2519.75/2520.00	c propagations          : 980317008   (389055 /sec)
2519.75/2520.00	c root propagations     : 20034       
2519.75/2520.00	c filter calls          : 105503876      (41871 /sec)
2519.75/2520.00	c useless filter calls  : 45614499       (43 %)
2519.75/2520.00	c Memory used           : 33.51 MB
2519.75/2520.00	c CPU time              : 2519.74 s
2519.75/2520.00	
2519.75/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268028-1502547107/watcher-4268028-1502547107 -o /tmp/evaluation-result-4268028-1502547107/solver-4268028-1502547107 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27513 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268028-1502547107.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.02 2.04 2/183 5285
/proc/meminfo: memFree=31084272/32770624 swapFree=0/474056
[pid=5285] ppid=5282 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5285/stat : 5285 (runsolver) D 5282 5285 27450 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 154363538 24240128 106 18446744073709551615 4194304 4338465 140721519036864 140721519034504 140478528230103 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 34533376 140721519038657 140721519039049 140721519039049 140721519042506 0
/proc/5285/statm: 5918 106 53 36 0 2156 0

[startup+0.101006 s]
/proc/loadavg: 2.05 2.02 2.04 2/183 5285
/proc/meminfo: memFree=31084272/32770624 swapFree=0/474056
[pid=5285] ppid=5282 vsize=34180 CPUtime=0.04 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 2826 0 0 0 4 0 0 0 20 0 1 0 154363538 35000320 2565 18446744073709551615 4194304 5972588 140734744049600 140734744046824 4935568 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8545 2565 732 435 0 1908 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34180

[startup+0.201006 s]
/proc/loadavg: 2.05 2.02 2.04 2/183 5285
/proc/meminfo: memFree=31084272/32770624 swapFree=0/474056
[pid=5285] ppid=5282 vsize=34180 CPUtime=0.14 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 2857 0 0 0 14 0 0 0 20 0 1 0 154363538 35000320 2631 18446744073709551615 4194304 5972588 140734744049600 140734744047176 4975114 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8545 2631 773 435 0 1908 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 34180

[startup+0.301007 s]
/proc/loadavg: 2.05 2.02 2.04 2/183 5285
/proc/meminfo: memFree=31084272/32770624 swapFree=0/474056
[pid=5285] ppid=5282 vsize=34312 CPUtime=0.24 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 2865 0 0 0 24 0 0 0 20 0 1 0 154363538 35135488 2631 18446744073709551615 4194304 5972588 140734744049600 140734744046488 4935463 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2631 773 435 0 1941 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 34312

[startup+0.700288 s]
/proc/loadavg: 2.05 2.02 2.04 2/183 5285
/proc/meminfo: memFree=31084272/32770624 swapFree=0/474056
[pid=5285] ppid=5282 vsize=34312 CPUtime=0.64 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 2878 0 0 0 64 0 0 0 20 0 1 0 154363538 35135488 2631 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4935478 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2631 773 435 0 1941 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 34312

[startup+1.50029 s]
/proc/loadavg: 2.05 2.02 2.04 3/184 5286
/proc/meminfo: memFree=31076536/32770624 swapFree=0/473964
[pid=5285] ppid=5282 vsize=34312 CPUtime=1.44 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 2883 0 0 0 144 0 0 0 20 0 1 0 154363538 35135488 2631 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4935653 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2631 773 435 0 1941 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 34312

[startup+3.10028 s]
/proc/loadavg: 2.05 2.02 2.04 3/184 5286
/proc/meminfo: memFree=31076164/32770624 swapFree=0/473964
[pid=5285] ppid=5282 vsize=34312 CPUtime=3.04 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 4433 0 0 0 304 0 0 0 20 0 1 0 154363538 35135488 2683 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4935490 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2683 775 435 0 1941 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 34312

[startup+6.30028 s]
/proc/loadavg: 1.97 2.00 2.03 3/184 5286
/proc/meminfo: memFree=31075832/32770624 swapFree=0/474060
[pid=5285] ppid=5282 vsize=34312 CPUtime=6.24 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 5980 0 0 0 624 0 0 0 20 0 1 0 154363538 35135488 2683 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4935642 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2683 775 435 0 1941 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 34312

[startup+12.7003 s]
/proc/loadavg: 1.97 2.00 2.03 3/184 5286
/proc/meminfo: memFree=31075584/32770624 swapFree=0/474064
[pid=5285] ppid=5282 vsize=34312 CPUtime=12.64 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 7528 0 0 0 1264 0 0 0 20 0 1 0 154363538 35135488 2683 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4972728 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2683 775 435 0 1941 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 34312

[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 2.03 3/184 5287
/proc/meminfo: memFree=31075336/32770624 swapFree=0/474052
[pid=5285] ppid=5282 vsize=34312 CPUtime=25.43 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 9580 0 0 0 2543 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4977685 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 34312

[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 2.03 3/185 5289
/proc/meminfo: memFree=31075288/32770624 swapFree=0/474044
[pid=5285] ppid=5282 vsize=34312 CPUtime=51.03 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 9918 0 0 0 5103 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4975458 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 34312

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/185 5291
/proc/meminfo: memFree=31075172/32770624 swapFree=0/474052
[pid=5285] ppid=5282 vsize=34312 CPUtime=102.23 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 10182 0 0 0 10223 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4978055 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 34312

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/189 5308
/proc/meminfo: memFree=31070084/32770624 swapFree=0/474064
[pid=5285] ppid=5282 vsize=34312 CPUtime=162.22 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 10445 0 0 0 16222 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4977701 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 34312

[startup+222.306 s]
/proc/loadavg: 2.04 2.01 2.04 3/189 5334
/proc/meminfo: memFree=31069432/32770624 swapFree=0/474068
[pid=5285] ppid=5282 vsize=34312 CPUtime=222.22 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 10710 0 0 0 22222 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4934348 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 34312

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 5336
/proc/meminfo: memFree=31070796/32770624 swapFree=0/474088
[pid=5285] ppid=5282 vsize=34312 CPUtime=282.21 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 10974 0 0 0 28221 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4975104 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34312

[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 5338
/proc/meminfo: memFree=31073964/32770624 swapFree=0/474108
[pid=5285] ppid=5282 vsize=34312 CPUtime=342.21 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 11237 0 0 0 34221 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4979152 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 34312

[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/185 5340
/proc/meminfo: memFree=31074304/32770624 swapFree=0/474112
[pid=5285] ppid=5282 vsize=34312 CPUtime=402.2 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 11500 0 0 0 40220 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4935502 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 34312

[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 5342
/proc/meminfo: memFree=31074324/32770624 swapFree=0/474132
[pid=5285] ppid=5282 vsize=34312 CPUtime=462.2 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 11764 0 0 0 46220 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4935446 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 34312

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 5344
/proc/meminfo: memFree=31074540/32770624 swapFree=0/474140
[pid=5285] ppid=5282 vsize=34312 CPUtime=522.19 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 12027 0 0 0 52219 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4978327 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 34312

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 5347
/proc/meminfo: memFree=31074652/32770624 swapFree=0/474140
[pid=5285] ppid=5282 vsize=34312 CPUtime=582.19 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 12292 0 0 0 58219 0 0 0 20 0 1 0 154363538 35135488 2684 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4970856 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2684 775 435 0 1941 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 34312


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


[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 5475
/proc/meminfo: memFree=31079968/32770624 swapFree=0/474304
[pid=5285] ppid=5282 vsize=34312 CPUtime=1602.12 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 16261 0 0 0 160211 1 0 0 20 0 1 0 154363538 35135488 2685 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4934318 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2685 775 435 0 1941 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 34312

[startup+1662.3 s]
/proc/loadavg: 1.85 1.99 2.03 3/185 5478
/proc/meminfo: memFree=31079076/32770624 swapFree=0/474312
[pid=5285] ppid=5282 vsize=34312 CPUtime=1662.11 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 16526 0 0 0 166210 1 0 0 20 0 1 0 154363538 35135488 2685 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4972892 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2685 775 435 0 1941 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 34312

[startup+1722.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/185 5480
/proc/meminfo: memFree=31079896/32770624 swapFree=0/474320
[pid=5285] ppid=5282 vsize=34312 CPUtime=1722.11 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 16792 0 0 0 172210 1 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4972783 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 34312

[startup+1782.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/185 5482
/proc/meminfo: memFree=31079772/32770624 swapFree=0/474332
[pid=5285] ppid=5282 vsize=34312 CPUtime=1782.1 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 16986 0 0 0 178209 1 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4978847 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 34312

[startup+1842.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 5485
/proc/meminfo: memFree=31078700/32770624 swapFree=0/474336
[pid=5285] ppid=5282 vsize=34312 CPUtime=1842.1 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 17180 0 0 0 184209 1 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4935502 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 34312

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 5487
/proc/meminfo: memFree=31079440/32770624 swapFree=0/474340
[pid=5285] ppid=5282 vsize=34312 CPUtime=1902.09 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 17378 0 0 0 190208 1 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4975660 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 34312

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 5503
/proc/meminfo: memFree=31075276/32770624 swapFree=0/474348
[pid=5285] ppid=5282 vsize=34312 CPUtime=1962.09 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 17644 0 0 0 196208 1 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4935502 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 34312

[startup+2022.3 s]
/proc/loadavg: 2.06 2.00 2.04 3/187 5505
/proc/meminfo: memFree=31075404/32770624 swapFree=0/474360
[pid=5285] ppid=5282 vsize=34312 CPUtime=2022.08 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 17829 0 0 0 202207 1 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4978585 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 34312

[startup+2082.3 s]
/proc/loadavg: 1.87 1.97 2.03 3/185 5508
/proc/meminfo: memFree=31078940/32770624 swapFree=0/474372
[pid=5285] ppid=5282 vsize=34312 CPUtime=2082.08 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 18014 0 0 0 208207 1 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4972103 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 34312

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 5510
/proc/meminfo: memFree=31079176/32770624 swapFree=0/474380
[pid=5285] ppid=5282 vsize=34312 CPUtime=2142.07 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 18290 0 0 0 214206 1 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4975275 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 34312

[startup+2202.31 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 5512
/proc/meminfo: memFree=31079140/32770624 swapFree=0/474384
[pid=5285] ppid=5282 vsize=34312 CPUtime=2202.08 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 18485 0 0 0 220207 1 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4971920 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 2202.08
Current children cumulated vsize (KiB) 34312

[startup+2262.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/185 5514
/proc/meminfo: memFree=31079264/32770624 swapFree=0/474392
[pid=5285] ppid=5282 vsize=34312 CPUtime=2262.07 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 18680 0 0 0 226205 2 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4935471 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 2262.07
Current children cumulated vsize (KiB) 34312

[startup+2322.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/185 5516
/proc/meminfo: memFree=31079264/32770624 swapFree=0/474400
[pid=5285] ppid=5282 vsize=34312 CPUtime=2322.07 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 18875 0 0 0 232205 2 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4975680 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 2322.07
Current children cumulated vsize (KiB) 34312

[startup+2382.3 s]
/proc/loadavg: 1.92 1.99 2.03 3/185 5518
/proc/meminfo: memFree=31079268/32770624 swapFree=0/474412
[pid=5285] ppid=5282 vsize=34312 CPUtime=2382.06 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 19070 0 0 0 238204 2 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4971618 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 2382.06
Current children cumulated vsize (KiB) 34312

[startup+2442.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/184 5520
/proc/meminfo: memFree=31078912/32770624 swapFree=0/474420
[pid=5285] ppid=5282 vsize=34312 CPUtime=2442.06 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 19265 0 0 0 244204 2 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4934329 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 2442.06
Current children cumulated vsize (KiB) 34312

[startup+2502.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/184 5522
/proc/meminfo: memFree=31079056/32770624 swapFree=0/474428
[pid=5285] ppid=5282 vsize=34312 CPUtime=2502.05 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 19460 0 0 0 250203 2 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4935502 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 2502.05
Current children cumulated vsize (KiB) 34312



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 5522
/proc/meminfo: memFree=31079180/32770624 swapFree=0/474428
[pid=5285] ppid=5282 vsize=34312 CPUtime=2519.75 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 27450 0 -1 4202496 19655 0 0 0 251973 2 0 0 20 0 1 0 154363538 35135488 2687 18446744073709551615 4194304 5972588 140734744049600 140734744046904 4978745 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 34938880 140734744056302 140734744056397 140734744056397 140734744059854 0
/proc/5285/statm: 8578 2687 775 435 0 1941 0
Current children cumulated CPU time (s) 2519.75
Current children cumulated vsize (KiB) 34312

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

Child status: 1
Real time (s): 2520
CPU time (s): 2519.76
CPU user time (s): 2519.74
CPU system time (s): 0.021998
CPU usage (%): 99.9905
Max. virtual memory (cumulated for all children) (KiB): 34312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.74
system time used= 0.021998
maximum resident set size= 10824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19707
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 4202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34238 second user time and 8.42706 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-12 15:57:23
IDJOB=4268028
IDBENCH=134610
IDSOLVER=2658
FILE ID=node132/4268028-1502547107
RUNJOBID= node132-1502500306-27513
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-14-ext03.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268028-1502547107/watcher-4268028-1502547107 -o /tmp/evaluation-result-4268028-1502547107/solver-4268028-1502547107 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27513 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268028-1502547107.xml

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

MD5SUM BENCH= 223310c4b2c0f482c3233db9dc344582
RANDOM SEED=442454490

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31084632 kB
MemAvailable:   31958212 kB
Buffers:          308864 kB
Cached:           873836 kB
SwapCached:            0 kB
Active:           726432 kB
Inactive:         523068 kB
Active(anon):      67632 kB
Inactive(anon):    49012 kB
Active(file):     658800 kB
Inactive(file):   474056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2368 kB
Writeback:             4 kB
AnonPages:         66804 kB
Mapped:            63708 kB
Shmem:             49852 kB
Slab:             139788 kB
SReclaimable:     113116 kB
SUnreclaim:        26672 kB
KernelStack:        3264 kB
PageTables:         5000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     350508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62028 MiB
End job on node132 at 2017-08-12 16:39:23